Search: github.com/typedb | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

Show HN: Go-async – typed Tasks with async/await like APIs

github.com/unkn0wn-root

7 months ago

4 points

212.

Show HN: OrderlyID – typed, time-sortable, 160-bit IDs with checksums

github.com/kpiljoong

9 months ago

4 points

213.

Ollama Holes: Haskell Source with Typed Holes

github.com/Tritlo

a year ago

4 points

214.

Typed and DST-safe datetimes for Python, available in Rust or pure Python

github.com/ariebovenberg

a year ago

4 points

215.

Show HN: An opinionated TS package build toolchain with typed configuration

github.com/pkg-tools

2 years ago

4 points

216.

Coalton: Statically typed functional language that supercharges Common Lisp

github.com/coalton-lang

3 years ago

4 points

217.

An additive strong typedef library for C++14/17/20

github.com/rollbear

4 years ago

4 points

218.

Finally a build system with a statically typed language

github.com/rochus-keller

4 years ago

4 points

219.

Show HN: Typed parser combinator library with error recovery for Python

github.com/ethframe

4 years ago

4 points

220.

Typed Functional Programming in TypeScript

github.com/gcanti

4 years ago

4 points

221.

Haskell Language Server 0.5.0: Case splitting and auto filling of typed holes

github.com/haskell

6 years ago

4 points

222.

Silq: High-level strong static typed programming language for quantum computing

github.com/eth-sri

6 years ago

4 points

223.

Carp – A statically typed Lisp, without a GC, for Real-Time applications

github.com/carp-lang

6 years ago

4 points

224.

Show HN: TreeBase, a new database for strongly typed community knowledge bases

github.com/treenotation

7 years ago

4 points

225.

What is the appeal of dynamically-typed languages?

gist.github.com

8 years ago

4 points

226.

Show HN: TypeDoc – Static type checking for vanilla JavaScript using comments

github.com/trezm

9 years ago

4 points

227.

Trill: A typed, LLVM-backed compiler, inspired by (and written in) Swift

github.com/harlanhaskins

10 years ago

4 points

228.

Ende: a proposed dependently typed programming language

github.com/AndyShiue

10 years ago

4 points

229.

Dependently typed API servers in Haskell

11 years ago

4 points

230.

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

3 years ago

3 points

231.

Simple Strongly-Typed Events

github.com/vitaly-t

6 years ago

3 points

232.

Show HN: Monolith, live typed queries on real Postgres for Java (no JDBC)

github.com/singlr-ai

23 days ago

3 points

233.

Show HN: Incorporator, Turn any API/File into typed Python graph with pipeline

github.com/PyPlumber

a month ago

3 points

234.

A dynamically-typed, single-pass, recursive descent interpreter without an AST

github.com/fuseraft

2 years ago

3 points

235.

Carp: A statically typed Lisp, without a GC, for real-time applications

github.com/carp-lang

2 years ago

3 points

236.

Show HN: Clawn – A learning friendly statically typed programming language

github.com/Naotonosato

4 years ago

3 points

237.

Using typed arrays with web workers to parse a 27 MB text file

calvinmetcalf.github.com

13 years ago

3 points

238.

Geblang – static typed, interpreted language written in Go

github.com/dwgebler

23 days ago

3 points

239.

Umka: A statically typed embeddable scripting language

github.com/vtereshkov

2 months ago

3 points

240.

Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory

github.com/solomon-b

2 months ago

3 points