Search: github.com/typedb | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

301.

Show HN: ASys – A typed binary protocol for AI agents to operate servers(no SSH) (github.com/vincentping)

2 points

6 days ago

302.

Basketeer – a typed TS SDK for your Tesco account, with nutrition data (github.com/tobyandrews1985)

2 points

tobyandrews1985

7 days ago

303.

Piper – DevOps copilot where the LLM picks typed actions, not shell (github.com/antoniociccia)

2 points

10 days ago

304.

Show HN: ERPC – encrypted, typed RPC over any bidirectional channel (github.com/dotexorg)

2 points

12 days ago

305.

Show HN: Typed Natural Language – A better plan mode with workflow for coding (github.com/janaraj)

2 points

2 months ago

306.

Show HN: Lumina – a statically typed web-native language for JavaScript and WASM (github.com/nyigoro)

2 points

2 months ago

307.

Mnemos – Open-source memory layer with typed conflict resolution for AI agents (github.com/Sohamp2809)

2 points

3 months ago

308.

Loft – a statically typed language where null propagates instead of crashes (github.com/jjstwerff)

2 points

3 months ago

309.

Show HN: Markdown specs that don't compile (Pandoc and SQLite for typed docs) (github.com/SpecIR)

2 points

3 months ago

310.

Show HN: Routype – typed REST client in ~200 lines, no codegen (github.com/jbingen)

2 points

4 months ago

311.

Show HN: Funxy – A typed scripting language that embeds into Go apps (github.com/funvibe)

2 points

4 months ago

312.

Show HN: Gemini ReAct Java – A lightweight, typed LLM library for Java (github.com/srijithunni7182)

2 points

SrijithUnni7182

5 months ago

313.

ExpressiveMD – A typed, language agnostic, MD templating engine for the future (github.com/xray)

2 points

5 months ago

314.

Granule – A statically-typed linear functional language with graded modal types (github.com/granule-project)

2 points

6 months ago

315.

Show HN: WireTyped – typed, error-first HTTP client for fetch (github.com/kasperrt)

2 points

6 months ago

316.

Borgo: A statically typed language that compiles to Go (github.com/borgo-lang)

2 points

6 months ago

317.

Show HN: errdef – typed, structured error definitions in Go (github.com/shiwano)

2 points

8 months ago

318.

The strongly-typed, compiled embedded scripting language for Rust (github.com/NLnetLabs)

2 points

8 months ago

319.

Sugar-Proto: Strongly Typed, Expressive, User Friendly Protobuf Wrapper (github.com/illegal-instruction-co)

2 points

9 months ago

320.

Show HN: SFOR – minimal, no-backtracking, typed data format (experimental) (github.com/brucekaushik)

2 points

10 months ago

321.

SATySFi: A statically-typed, functional typesetting system (github.com/gfngfn)

2 points

a year ago

322.

Numbat: A typed language with support for physical dimensions and units (github.com/sharkdp)

2 points

a year ago

323.

Get structured typed, and validated JSON outputs from AI (github.com/dzhng)

2 points

2 years ago

324.

Apltail: APL Compiler targeting a typed array intermediate language (github.com/melsman)

2 points

2 years ago

325.

Lastresort(1) – Base 256 codec with easily typed words, version 0.4.0 released (github.com/ctsrc)

2 points

3 years ago

326.

Cample.js – typed javascript web framework for creating site UI (github.com/Camplejs)

2 points

4 years ago

327.

Coalton: A statically typed functional programming language for Common Lisp (github.com/coalton-lang)

2 points

4 years ago

328.

Erg is a statically typed language that is Python compatible (github.com/erg-lang)

2 points

4 years ago

329.

Turning Redis streams into typed Go channels in just a few lines (github.com/dranikpg)

2 points

4 years ago

330.

Python utility to provide interoperability between JSON Typedef and Protobuf (github.com/IBM)

2 points

prashantgupta24

4 years ago