Search: github.com/typedb | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Strongly Typed Markup Language (github.com/OzzyOsbourne)

1 point

15 years ago

92.

Write Typed CSS in Next.js (github.com/forthedamn)

1 point

7 years ago

93.

Show HN: Typedregexp – Match regexps into structs in Go (github.com/zach-klippenstein)

4 points

10 years ago

94.

Data-structure-typed – TreeMap, Heap, Graph and more for TypeScript (github.com/zrwusa)

2 points

3 months ago

95.

Data-structure-typed – TreeMap, Heap, Graph and more for TypeScript (github.com/zrwusa)

1 point

3 months ago

96.

Rock, Paper, Scissors in Clojure using core.typed and core.async (github.com/clojure)

1 point

12 years ago

97.

Typed Programming Analysis without Encodings (2024) [pdf] (github.com/barry-jay-personal)

1 point

a year ago

98.

Show HN: Flow Typedef – Get Flow built-in type definition files (github.com/ryota-murakami)

1 point

8 years ago

99.

An optional type system for Clojure (github.com/clojure)

1 point

9 years ago

100.

Show HN: Hibana – An Affine MPST Runtime for Rust (hibanaworks.dev)

18 points

4 months ago

101.

Tapir: Typed API Descriptions (github.com/softwaremill)

1 point

7 years ago

102.

Launch HN: Patterns (YC S21) – A much faster way to build and deploy data apps

149 points

4 years ago

103.

Show HN: A Node.js Framework that runs in the browser

2 points

7 years ago

104.

Show HN: GYML – YAML syntax, JSON semantics, zero runtime dependencies (github.com/janbjorge)

1 point

3 months ago

105.

Suffuse: Immutable, Typed, Recoverable Filesystem (github.com/suffuse)

2 points

11 years ago

106.

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

666 points

2 years ago

107.

Show HN: A dependently-typed programming language with static memory management (github.com/u2zv1wx)

456 points

6 years ago

108.

Amazon open-sources Ion – a binary and text interchangable, typed JSON-superset (github.com/amznlabs)

359 points

10 years ago

109.

Whenever: Typed and DST-safe datetimes for Python (github.com/ariebovenberg)

286 points

a year ago

110.

Show HN: Bolt – A super-fast, statically-typed scripting language written in C (github.com/Beariish)

261 points

10 months ago

111.

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

259 points

5 years ago

112.

Tao: A statically-typed functional language (github.com/zesterer)

257 points

4 years ago

113.

Show HN: Handwritten.js – Convert typed text to realistic handwriting (github.com/alias-rahil)

255 points

6 years ago

114.

A statically typed scripting language that transpiles to Posix sh (github.com/cotowali)

251 points

4 years ago

115.

Show HN: Fructose – LLM calls as strongly typed functions (github.com/bananaml)

218 points

2 years ago

116.

Mochi – Dynamically-typed language for functional and actor-style programming (github.com/i2y)

205 points

11 years ago

117.

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

202 points

8 years ago

118.

Carp: a statically typed lisp, without a GC, for high performance applications (github.com/eriksvedang)

196 points

10 years ago

119.

Bog – small, strongly typed, embeddable language (github.com/Vexu)

189 points

3 years ago

120.

PureScript: a statically typed language which compiles to JavaScript (github.com/purescript)

175 points

12 years ago