Search: github.com/stakira | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

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

50 points

6 years ago

32.

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

30 points

6 years ago

33.

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

24 points

a year ago

34.

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

15 points

7 years ago

35.

Show HN: 15 Years of StarCraft II Balance Changes Visualized Interactively (p.migdal.pl)

9 points

5 months ago

36.

Repo contains the Stadia instance kernel and build system (github.com/googlestadia)

8 points

5 years ago

37.

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

6 points

a year ago

38.

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

6 points

6 years ago

39.

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

5 points

3 years ago

40.

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

4 points

3 years ago

41.

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

4 points

14 years ago

42.

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

4 points

4 years ago

43.

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

4 points

6 years ago

44.

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

3 points

3 years ago

45.

Binary MRI rubies statically linked to vulnerable OpenSSL (gist.github.com)

3 points

12 years ago

46.

Show HN: Clawn – A learning friendly statically typed programming language (github.com/Naotonosato)

3 points

4 years ago

47.

Tracekit: JavaScript library for stacktraces for exceptions (github.com/occ)

3 points

13 years ago

48.

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

3 points

a month ago

49.

Static-frame: Immutable/statically-typed DataFrames with runtime type validation (github.com/static-frame)

3 points

3 years ago

50.

Show HN: Busy – a lean, statically typed build system for GCC Clang MSVC (github.com/rochus-keller)

3 points

4 years ago

51.

Statically typed scripting with Umka 0.2: RTTI and realistic embedding examples (github.com/vtereshkov)

3 points

6 years ago

52.

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

3 points

6 years ago

53.

Inspect stacktraces of live C/C++ processes (github.com/thoughtspot)

3 points

8 years ago

54.

Carp: A statically typed lisp, without a GC, for high performance applications (github.com/carp-lang)

3 points

9 years ago

55.

A statically typed, procedural language that looks like poorly written erotica (github.com/Property404)

3 points

9 years ago

56.

The Lux Programming Language – Functional, Statically-Typed Lisp – v0.5.0 (github.com/LuxLang)

3 points

9 years ago

57.

Statically-typed, Rust-like programming language

2 points

4 years ago

58.

A statically typed, procedural language that looks like poorly written erotica (github.com/Property404)

2 points

9 years ago

59.

Buzz 0.5.0 release – a statically typed scripting language written in Zig (github.com/buzz-language)

2 points

a year ago

60.

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

2 points

2 months ago