Search: github.com/typedb | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

Show HN: OrderlyID – typed, time-sortable, 160-bit IDs with checksums (github.com/kpiljoong)

4 points

9 months ago

212.

Ollama Holes: Haskell Source with Typed Holes (github.com/Tritlo)

4 points

a year ago

213.

Typed and DST-safe datetimes for Python, available in Rust or pure Python (github.com/ariebovenberg)

4 points

a year ago

214.

Show HN: An opinionated TS package build toolchain with typed configuration (github.com/pkg-tools)

4 points

2 years ago

215.

Coalton: Statically typed functional language that supercharges Common Lisp (github.com/coalton-lang)

4 points

3 years ago

216.

An additive strong typedef library for C++14/17/20 (github.com/rollbear)

4 points

4 years ago

217.

Finally a build system with a statically typed language (github.com/rochus-keller)

4 points

4 years ago

218.

Show HN: Typed parser combinator library with error recovery for Python (github.com/ethframe)

4 points

4 years ago

219.

Typed Functional Programming in TypeScript (github.com/gcanti)

4 points

4 years ago

220.

Haskell Language Server 0.5.0: Case splitting and auto filling of typed holes (github.com/haskell)

4 points

6 years ago

221.

Silq: High-level strong static typed programming language for quantum computing (github.com/eth-sri)

4 points

6 years ago

222.

Carp – A statically typed Lisp, without a GC, for Real-Time applications (github.com/carp-lang)

4 points

6 years ago

223.

Show HN: TreeBase, a new database for strongly typed community knowledge bases (github.com/treenotation)

4 points

7 years ago

224.

What is the appeal of dynamically-typed languages? (gist.github.com)

4 points

8 years ago

225.

Show HN: TypeDoc – Static type checking for vanilla JavaScript using comments (github.com/trezm)

4 points

9 years ago

226.

Trill: A typed, LLVM-backed compiler, inspired by (and written in) Swift (github.com/harlanhaskins)

4 points

10 years ago

227.

Ende: a proposed dependently typed programming language (github.com/AndyShiue)

4 points

10 years ago

228.

Dependently typed API servers in Haskell (github.com/tel)

4 points

10 years ago

229.

Ask HN: Looking for statically typed, No-GC and compiled Lisp/scheme

3 points

3 years ago

230.

Simple Strongly-Typed Events (github.com/vitaly-t)

3 points

6 years ago

231.

Show HN: Monolith, live typed queries on real Postgres for Java (no JDBC) (github.com/singlr-ai)

3 points

7 days ago

232.

Show HN: Incorporator, Turn any API/File into typed Python graph with pipeline (github.com/PyPlumber)

3 points

23 days ago

233.

A dynamically-typed, single-pass, recursive descent interpreter without an AST (github.com/fuseraft)

3 points

2 years ago

234.

Carp: A statically typed Lisp, without a GC, for real-time applications (github.com/carp-lang)

3 points

2 years ago

235.

Show HN: Clawn – A learning friendly statically typed programming language (github.com/Naotonosato)

3 points

4 years ago

236.

Using typed arrays with web workers to parse a 27 MB text file (calvinmetcalf.github.com)

3 points

13 years ago

237.

Geblang – static typed, interpreted language written in Go (github.com/dwgebler)

3 points

8 days ago

238.

Umka: A statically typed embeddable scripting language (github.com/vtereshkov)

3 points

a month ago

239.

Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory (github.com/solomon-b)

3 points

2 months ago

240.

Claude Code plugin for LLM research with typed claims and conflict detection (github.com/grainulation)

3 points

2 months ago