HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Temporary Containers: Status of repository owner
github.com/stoically
discuss
2 years ago
xatnys
1 points
2.
▲
Old C code – how to upgrade it?
137 comments
4 years ago
mikewarot
103 points
3.
▲
Ask HN: Paragraphs – should they contain line breaks?
1 comment
4 years ago
mikewarot
1 points
4.
▲
Show HN: Flux: A systems language with endianness in the type system
discuss
3 months ago
kvthweatt
4 points
5.
▲
Bukanir streams movies from torrents. App written in Go
2 comments
10 years ago
gen2brain
2 points
6.
▲
Borgo is a statically typed language that compiles to Go
github.com/borgo-lang
545 comments
2 years ago
manx
666 points
7.
▲
Oasis – a small, statically-linked Linux system
github.com/oasislinux
277 comments
2 years ago
smartmic
531 points
8.
▲
Oasis: Small statically-linked Linux system
github.com/oasislinux
219 comments
4 years ago
ingve
381 points
9.
▲
Show HN: Bolt – A super-fast, statically-typed scripting language written in C
github.com/Beariish
95 comments
10 months ago
beariish
261 points
10.
▲
Carp – A statically typed Lisp, without a GC, for real-time applications
github.com/carp-lang
134 comments
5 years ago
fuzzythinker
259 points
11.
▲
Tao: A statically-typed functional language
github.com/zesterer
97 comments
4 years ago
memorable
257 points
12.
▲
Oasis: a small statically-linked Linux system
github.com/oasislinux
160 comments
6 years ago
varbhat
252 points
13.
▲
A statically typed scripting language that transpiles to Posix sh
github.com/cotowali
92 comments
4 years ago
TaKO8Ki
251 points
14.
▲
Carp: A statically typed Lisp, without a GC, for real-time applications
github.com/carp-lang
39 comments
8 years ago
tosh
202 points
15.
▲
Carp: a statically typed lisp, without a GC, for high performance applications
github.com/eriksvedang
67 comments
10 years ago
adamnemecek
196 points
16.
▲
PureScript: a statically typed language which compiles to JavaScript
github.com/purescript
78 comments
12 years ago
bpierre
175 points
17.
▲
Erg: a statically typed language that is Python compatible
github.com/erg-lang
190 comments
4 years ago
ArdelleF
167 points
18.
▲
Frawk: A fast, JITted, statically-typed AWK written in Rust
github.com/ezrosent
38 comments
4 years ago
benhoyt
145 points
19.
▲
Rezoom.SQL: Statically typed SQL for F#
github.com/rspeele
20 comments
9 years ago
Bognar
138 points
20.
▲
Carp – a statically typed, non-GC Lisp language
github.com/carp-lang
62 comments
4 years ago
sph
135 points
21.
▲
Statically typed functional programming language implementation with Go and LLVM
github.com/rhysd
19 comments
9 years ago
kristianp
120 points
22.
▲
Unison – A statically-typed purely functional language
github.com/unisonweb
25 comments
7 years ago
tosh
90 points
23.
▲
Tool to statically recompile N64 games into native executables
github.com/Mr-Wiseguy
5 comments
2 years ago
LelouBil
89 points
24.
▲
Umka: A statically typed embeddable scripting language
github.com/vtereshkov
21 comments
4 years ago
mr_ms
68 points
25.
▲
Pallene: A statically compiled companion language for Lua
github.com/pallene-lang
74 comments
2 years ago
wsc981
66 points
26.
▲
Taf - A plan for a statically-typed Lisp
manuel.github.com
44 comments
13 years ago
swah
65 points
27.
▲
Statically Typed Lisp
gist.github.com
22 comments
12 years ago
_qc3o
60 points
28.
▲
Lumina – a statically typed web-native language for JavaScript and WASM
github.com/nyigoro
25 comments
2 months ago
light_ideas
58 points
29.
▲
Show HN: Mys – an attempt to create a statically typed Python-like language
github.com/eerimoq
56 comments
6 years ago
eerimoq
50 points
30.
▲
Copper: A statically-typed, loose syntax programming language
github.com/chronologicaldot
30 comments
6 years ago
nercht12
30 points
More