Search: github.com/typedb | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

301.

Multidimensional typed arrays for JavaScript

github.com/mikolalysenko

13 years ago

2 points

302.

Caledon 2.0: A dependently typed metaprogramming logic language

github.com/mmirman

13 years ago

2 points

303.

Shirika-RPC – Typed RPC over SharedArrayBuffer/Atomics for Workers

github.com/leiko1337

a day ago

2 points

304.

Jo is a statically typed language that enables compile-time sandboxing

github.com/typescope

12 days ago

2 points

305.

Geblang 1.15 – the ergonomic, statically typed language

github.com/dwgebler

14 days ago

2 points

306.

Basketeer – a typed TS SDK for your Tesco account, with nutrition data

github.com/tobyandrews1985

22 days ago

tobyandrews1985

2 points

307.

Piper – DevOps copilot where the LLM picks typed actions, not shell

github.com/antoniociccia

25 days ago

2 points

308.

Show HN: ERPC – encrypted, typed RPC over any bidirectional channel

github.com/dotexorg

a month ago

2 points

309.

Show HN: Typed Natural Language – A better plan mode with workflow for coding

github.com/janaraj

2 months ago

2 points

310.

Show HN: Lumina – a statically typed web-native language for JavaScript and WASM

github.com/nyigoro

3 months ago

2 points

311.

Mnemos – Open-source memory layer with typed conflict resolution for AI agents

github.com/Sohamp2809

3 months ago

2 points

312.

Loft – a statically typed language where null propagates instead of crashes

github.com/jjstwerff

3 months ago

2 points

313.

Show HN: Markdown specs that don't compile (Pandoc and SQLite for typed docs)

github.com/SpecIR

4 months ago

2 points

314.

Show HN: Routype – typed REST client in ~200 lines, no codegen

github.com/jbingen

4 months ago

2 points

315.

Show HN: Funxy – A typed scripting language that embeds into Go apps

github.com/funvibe

4 months ago

2 points

316.

Show HN: Gemini ReAct Java – A lightweight, typed LLM library for Java

github.com/srijithunni7182

6 months ago

SrijithUnni7182

2 points

317.

ExpressiveMD – A typed, language agnostic, MD templating engine for the future

github.com/xray

6 months ago

2 points

318.

Granule – A statically-typed linear functional language with graded modal types

github.com/granule-project

6 months ago

2 points

319.

Show HN: WireTyped – typed, error-first HTTP client for fetch

github.com/kasperrt

6 months ago

2 points

320.

Borgo: A statically typed language that compiles to Go

github.com/borgo-lang

7 months ago

2 points

321.

Show HN: errdef – typed, structured error definitions in Go

github.com/shiwano

8 months ago

2 points

322.

The strongly-typed, compiled embedded scripting language for Rust

github.com/NLnetLabs

9 months ago

2 points

323.

Sugar-Proto: Strongly Typed, Expressive, User Friendly Protobuf Wrapper

github.com/illegal-instruction-co

9 months ago

2 points

324.

Show HN: SFOR – minimal, no-backtracking, typed data format (experimental)

github.com/brucekaushik

10 months ago

2 points

325.

SATySFi: A statically-typed, functional typesetting system

github.com/gfngfn

a year ago

2 points

326.

Numbat: A typed language with support for physical dimensions and units

github.com/sharkdp

a year ago

2 points

327.

Get structured typed, and validated JSON outputs from AI

github.com/dzhng

2 years ago

2 points

328.

Apltail: APL Compiler targeting a typed array intermediate language

github.com/melsman

2 years ago

2 points

329.

Lastresort(1) – Base 256 codec with easily typed words, version 0.4.0 released

github.com/ctsrc

3 years ago

2 points

330.

Cample.js – typed javascript web framework for creating site UI

github.com/Camplejs

4 years ago

2 points