Search: github.com/typedb | Heykuki News

HK

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

4 years ago

167 points

122.

Frawk: A fast, JITted, statically-typed AWK written in Rust

github.com/ezrosent

4 years ago

145 points

123.

Show HN: Buzz, strongly typed scripting language written in Zig

github.com/buzz-language

4 years ago

140 points

124.

Show HN: Dependently typed language for proofs that you can implement in one day

github.com/caotic123

5 years ago

138 points

125.

Rezoom.SQL: Statically typed SQL for F#

github.com/rspeele

9 years ago

138 points

126.

A generically typed pipe function in TypeScript

github.com/MathisBullinger

4 years ago

137 points

127.

Carp – a statically typed, non-GC Lisp language

github.com/carp-lang

4 years ago

135 points

128.

Show HN: Prisma Python – A fully typed ORM for Python

github.com/RobertCraigie

4 years ago

130 points

129.

APL compiler targeting a typed array intermediate language

github.com/melsman

10 years ago

123 points

130.

Relit: Typed Literal Macros for Reason

github.com/cyrus-

8 years ago

123 points

131.

Statically typed functional programming language implementation with Go and LLVM

github.com/rhysd

9 years ago

120 points

132.

Show HN: Parse your Postgres queries into a fully-typed AST in TypeScript

github.com/pg-nano

2 years ago

116 points

133.

Mir: Strongly typed IR to implement fast and lightweight interpreters and JITs

github.com/vnmakarov

2 years ago

115 points

134.

Show HN: A strongly-typed document DB that runs on any transactional KV store

github.com/losfair

5 years ago

113 points

135.

Ana is a Python, PHP, and C inspired dynamically typed scripting language

github.com/analang

4 years ago

112 points

136.

Dyon – A Rusty dynamically typed scripting language

github.com/PistonDevelopers

6 years ago

94 points

137.

Unison – A statically-typed purely functional language

github.com/unisonweb

7 years ago

90 points

138.

Pantograph: A Fluid and Typed Structure Editor

github.com/jeprinz

a year ago

87 points

139.

Show HN: Rhine – A typed Elixir-inspired language on LLVM

github.com/artagnon

10 years ago

81 points

140.

The compiler for Teal, a typed dialect of Lua

github.com/teal-language

5 years ago

77 points

141.

Hazel: A live functional programming environment with typed holes

github.com/hazelgrove

a year ago

73 points

142.

Uniform eXchange Format (UXF) – plain text human readable typed storage format

github.com/mark-summerfield

4 years ago

69 points

143.

Show HN: Pg-typesafe – Strongly typed queries for PostgreSQL and TypeScript

4 months ago

69 points

144.

Umka: A statically typed embeddable scripting language

github.com/vtereshkov

4 years ago

68 points

145.

Show HN: Weird JSON superset with BigInt, Infinity, TypedArray etc

github.com/c9fe

6 years ago

67 points

146.

Deuterium – Fully typed SQL query builder for Rust

github.com/deuterium-orm

11 years ago

66 points

147.

Taf - A plan for a statically-typed Lisp

manuel.github.com

13 years ago

65 points

148.

Show HN: Cixl – a minimal, decently typed scripting language

github.com/basic-gongfu

8 years ago

64 points

149.

APL Compiler Based on Tail (Typed Array Intermediate Language)

github.com/melsman

5 years ago

62 points

150.

Statically Typed Lisp

gist.github.com

12 years ago

60 points