Search: github.com/stoically | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Lumina – a statically typed web-native language for JavaScript and WASM (github.com/nyigoro)

58 points

2 months ago

32.

Show HN: Mys – an attempt to create a statically typed Python-like language (github.com/eerimoq)

50 points

6 years ago

33.

Copper: A statically-typed, loose syntax programming language (github.com/chronologicaldot)

30 points

6 years ago

34.

Pallene: A statically typed ahead-of-time compiled sister language to Lua, with (github.com/pallene-lang)

24 points

a year ago

35.

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

24 points

10 years ago

36.

Carp: A Statically Typed Lisp (github.com/carp-lang)

20 points

3 years ago

37.

Gleam: A statically typed language for the Erlang VM (github.com/lpil)

15 points

7 years ago

38.

Statically typed SQL for F# compiled to SQLite/TSQL/Postgres (github.com/rspeele)

8 points

9 years ago

39.

Show HN: MicroSCOPE – identify ransomware statically with heuristics (github.com/seekbytes)

7 points

2 years ago

40.

Lux: Functional, statically typed, hosted Lisp (github.com/LuxLang)

7 points

3 years ago

41.

Lux: A Functional, Statically-typed Lisp Inspired from Haskell, Clojure, and ML (github.com/LuxLang)

7 points

6 years ago

42.

Numbat: A statically typed programming language for scientific computations with (github.com/sharkdp)

6 points

a year ago

43.

Statically Typed Vector Algebra Using Type Families (github.com/leonidas)

6 points

14 years ago

44.

Building a statically linked 32-bit Wine (github.com/MIvanchev)

6 points

4 years ago

45.

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

6 points

6 years ago

46.

Reproducible, statically linked Rust cross builds in Nix (github.com/syncom)

5 points

3 years ago

47.

Felix: Statically typed, performant scripting language with native C++ embedding (github.com/felix-lang)

5 points

2 years ago

48.

Titan: a new statically-typed and AOT programming language targetting Lua (github.com/titan-lang)

5 points

9 years ago

49.

Show HN: Quaint – a statically typed language with seamless resumable functions (github.com/bbu)

4 points

10 years ago

50.

Kitten - high-performance statically typed concatenative programming language (github.com/evincarofautumn)

4 points

13 years ago

51.

Statically built Nix on Alpine Linux #6751 (2022) (github.com/NixOS)

4 points

peter_d_sherman

3 years ago

52.

I've been working on a borrow checker for C (also statically makes sure `fre (gist.github.com)

4 points

2 years ago

53.

Poor Man's Package Manager (Only Statically Linked Binaries) (github.com/xplshn)

4 points

2 years ago

54.

Statically link Swift runtime libraries by default on supported platforms (github.com/apple)

4 points

3 years ago

55.

Coalton: Statically typed functional language that supercharges Common Lisp (github.com/coalton-lang)

4 points

3 years ago

56.

An Xcode project template for statically-linked iOS Frameworks (github.com/kstenerud)

4 points

14 years ago

57.

Finally a build system with a statically typed language (github.com/rochus-keller)

4 points

4 years ago

58.

Statically Checked SQL for F# (github.com/fsprojects)

4 points

4 years ago

59.

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

4 points

6 years ago

60.

Ask HN: Looking for statically typed, No-GC and compiled Lisp/scheme

3 points

3 years ago