Search: github.com/stoically | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Temporary Containers: Status of repository owner (github.com/stoically)

1 point

2 years ago

2.

Old C code – how to upgrade it?

103 points

4 years ago

3.

Ask HN: Paragraphs – should they contain line breaks?

1 point

4 years ago

4.

LanguageLeapAI provides a real-time language assistant that listens and speaks (github.com/SociallyIneptWeeb)

1 point

3 years ago

5.

Kickstarting Hubcap: a Socially Aware GitHub Mac App (github.com/blog)

86 points

15 years ago

6.

Show HN: Flux: A systems language with endianness in the type system

4 points

3 months ago

7.

Bukanir streams movies from torrents. App written in Go

2 points

10 years ago

8.

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

666 points

2 years ago

9.

Oasis – a small, statically-linked Linux system (github.com/oasislinux)

531 points

2 years ago

10.

Oasis: Small statically-linked Linux system (github.com/oasislinux)

381 points

4 years ago

11.

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

261 points

10 months ago

12.

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

259 points

5 years ago

13.

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

257 points

4 years ago

14.

Oasis: a small statically-linked Linux system (github.com/oasislinux)

252 points

6 years ago

15.

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

251 points

4 years ago

16.

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

202 points

8 years ago

17.

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

196 points

10 years ago

18.

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

175 points

12 years ago

19.

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

167 points

4 years ago

20.

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

145 points

4 years ago

21.

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

138 points

9 years ago

22.

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

135 points

3 years ago

23.

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

120 points

9 years ago

24.

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

90 points

7 years ago

25.

Tool to statically recompile N64 games into native executables (github.com/Mr-Wiseguy)

89 points

2 years ago

26.

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

68 points

4 years ago

27.

Pallene: A statically compiled companion language for Lua (github.com/pallene-lang)

66 points

2 years ago

28.

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

65 points

13 years ago

29.

Crev – Socially scalable Code REView and recommendation system (github.com/crev-dev)

65 points

4 years ago

30.

Statically Typed Lisp (gist.github.com)

60 points

12 years ago