Search: github.com/stoically | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

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

3 points

4 years ago

62.

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

3 points

a month ago

63.

Detour: Load the Linux dynamic linker into a statically linked program at run ti (github.com/graphitemaster)

3 points

9 months ago

64.

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

3 points

3 years ago

65.

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

3 points

4 years ago

66.

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

3 points

5 years ago

67.

Cat: A statically-typed stack-based functional language (github.com/cdiggins)

3 points

5 years ago

68.

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

3 points

6 years ago

69.

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

3 points

6 years ago

70.

Zenon: a statically typed language that compiles to C++ (github.com/miki151)

3 points

7 years ago

71.

Ask HN: Typescript but for statically checking side-effects?

3 points

8 years ago

72.

Interim: statically-typed, low-level Lisp withcompile-time GC-free memory mgmt (github.com/eudoxia0)

3 points

8 years ago

73.

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

3 points

9 years ago

74.

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

3 points

9 years ago

75.

Kiwi: Generate statically typed list for C (github.com/jeremyletang)

3 points

9 years ago

76.

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

3 points

9 years ago

77.

Statically-typed, Rust-like programming language

2 points

4 years ago

78.

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

2 points

9 years ago

79.

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

2 points

a year ago

80.

Postguard: Statically validate PG SQL queries and derive schemas (github.com/andywer)

2 points

2 years ago

81.

Coalton is an efficient, statically typed functional programming language (github.com/coalton-lang)

2 points

4 years ago

82.

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

2 points

2 months ago

83.

Loft – a statically typed language where null propagates instead of crashes (github.com/jjstwerff)

2 points

3 months ago

84.

Granule – A statically-typed linear functional language with graded modal types (github.com/granule-project)

2 points

5 months ago

85.

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

2 points

6 months ago

86.

Nginx-micro:Ultra-minimal, statically-linked, multi-architecture Nginx container (github.com/johnnyjoy)

2 points

a year ago

87.

SATySFi: A statically-typed, functional typesetting system (github.com/gfngfn)

2 points

a year ago

88.

Show HN: I built a library to host your Next.js app statically on S3/CloudFront (github.com/zdenham)

2 points

2 years ago

89.

Static-PHP-CLI: Tool to Compile a Statically Linked PHP Binary (github.com/crazywhalecc)

2 points

3 years ago

90.

Coalton: A statically typed functional programming language for Common Lisp (github.com/coalton-lang)

2 points

4 years ago