Search: github.com/typedb | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

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

167 points

4 years ago

122.

Frawk: A fast, JITted, statically-typed AWK written in Rust (github.com/ezrosent)

145 points

4 years ago

123.

Show HN: Buzz, strongly typed scripting language written in Zig (github.com/buzz-language)

140 points

4 years ago

124.

Show HN: Dependently typed language for proofs that you can implement in one day (github.com/caotic123)

138 points

5 years ago

125.

Rezoom.SQL: Statically typed SQL for F# (github.com/rspeele)

138 points

9 years ago

126.

A generically typed pipe function in TypeScript (github.com/MathisBullinger)

137 points

4 years ago

127.

Carp – a statically typed, non-GC Lisp language (github.com/carp-lang)

135 points

3 years ago

128.

Show HN: Prisma Python – A fully typed ORM for Python (github.com/RobertCraigie)

130 points

4 years ago

129.

APL compiler targeting a typed array intermediate language (github.com/melsman)

123 points

10 years ago

130.

Relit: Typed Literal Macros for Reason (github.com/cyrus-)

123 points

8 years ago

131.

Statically typed functional programming language implementation with Go and LLVM (github.com/rhysd)

120 points

9 years ago

132.

Show HN: Parse your Postgres queries into a fully-typed AST in TypeScript (github.com/pg-nano)

116 points

2 years ago

133.

Mir: Strongly typed IR to implement fast and lightweight interpreters and JITs (github.com/vnmakarov)

115 points

2 years ago

134.

Show HN: A strongly-typed document DB that runs on any transactional KV store (github.com/losfair)

113 points

5 years ago

135.

Ana is a Python, PHP, and C inspired dynamically typed scripting language (github.com/analang)

112 points

4 years ago

136.

Dyon – A Rusty dynamically typed scripting language (github.com/PistonDevelopers)

94 points

5 years ago

137.

Unison – A statically-typed purely functional language (github.com/unisonweb)

90 points

7 years ago

138.

Pantograph: A Fluid and Typed Structure Editor (github.com/jeprinz)

87 points

a year ago

139.

Show HN: Rhine – A typed Elixir-inspired language on LLVM (github.com/artagnon)

81 points

10 years ago

140.

The compiler for Teal, a typed dialect of Lua (github.com/teal-language)

77 points

5 years ago

141.

Hazel: A live functional programming environment with typed holes (github.com/hazelgrove)

73 points

a year ago

142.

Uniform eXchange Format (UXF) – plain text human readable typed storage format (github.com/mark-summerfield)

69 points

4 years ago

143.

Show HN: Pg-typesafe – Strongly typed queries for PostgreSQL and TypeScript (github.com/n-e)

69 points

4 months ago

144.

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

68 points

4 years ago

145.

Show HN: Weird JSON superset with BigInt, Infinity, TypedArray etc (github.com/c9fe)

67 points

6 years ago

146.

Deuterium – Fully typed SQL query builder for Rust (github.com/deuterium-orm)

66 points

11 years ago

147.

Taf - A plan for a statically-typed Lisp (manuel.github.com)

65 points

13 years ago

148.

Show HN: Cixl – a minimal, decently typed scripting language (github.com/basic-gongfu)

64 points

8 years ago

149.

APL Compiler Based on Tail (Typed Array Intermediate Language) (github.com/melsman)

62 points

5 years ago

150.

Statically Typed Lisp (gist.github.com)

60 points

12 years ago