Search: github.com/stoically | Heykuki News

HK

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

2 months ago

58 points

32.

Show HN: Mys – an attempt to create a statically typed Python-like language

github.com/eerimoq

6 years ago

50 points

33.

Copper: A statically-typed, loose syntax programming language

github.com/chronologicaldot

6 years ago

30 points

34.

Pallene: A statically typed ahead-of-time compiled sister language to Lua, with

github.com/pallene-lang

a year ago

24 points

35.

Carp – a statically typed Lisp, without a GC, for high performance applications

github.com/eriksvedang

10 years ago

24 points

36.

Carp: A Statically Typed Lisp

github.com/carp-lang

3 years ago

20 points

37.

Gleam: A statically typed language for the Erlang VM

github.com/lpil

7 years ago

15 points

38.

Statically typed SQL for F# compiled to SQLite/TSQL/Postgres

github.com/rspeele

9 years ago

8 points

39.

Show HN: MicroSCOPE – identify ransomware statically with heuristics

github.com/seekbytes

2 years ago

7 points

40.

Lux: Functional, statically typed, hosted Lisp

github.com/LuxLang

3 years ago

7 points

41.

Lux: A Functional, Statically-typed Lisp Inspired from Haskell, Clojure, and ML

github.com/LuxLang

7 years ago

7 points

42.

Numbat: A statically typed programming language for scientific computations with

github.com/sharkdp

a year ago

6 points

43.

Statically Typed Vector Algebra Using Type Families

github.com/leonidas

15 years ago

6 points

44.

Building a statically linked 32-bit Wine

github.com/MIvanchev

4 years ago

6 points

45.

Oasis: Small statically-linked Linux system

github.com/oasislinux

6 years ago

6 points

46.

Reproducible, statically linked Rust cross builds in Nix

github.com/syncom

3 years ago

5 points

47.

Felix: Statically typed, performant scripting language with native C++ embedding

github.com/felix-lang

2 years ago

5 points

48.

Titan: a new statically-typed and AOT programming language targetting Lua

github.com/titan-lang

9 years ago

5 points

49.

Show HN: Quaint – a statically typed language with seamless resumable functions

10 years ago

4 points

50.

Kitten - high-performance statically typed concatenative programming language

github.com/evincarofautumn

13 years ago

4 points

51.

Statically built Nix on Alpine Linux #6751 (2022)

github.com/NixOS

3 years ago

peter_d_sherman

4 points

52.

I've been working on a borrow checker for C (also statically makes sure `fre

gist.github.com

2 years ago

4 points

53.

Poor Man's Package Manager (Only Statically Linked Binaries)

github.com/xplshn

2 years ago

4 points

54.

Statically link Swift runtime libraries by default on supported platforms

github.com/apple

3 years ago

4 points

55.

Coalton: Statically typed functional language that supercharges Common Lisp

github.com/coalton-lang

3 years ago

4 points

56.

An Xcode project template for statically-linked iOS Frameworks

github.com/kstenerud

15 years ago

4 points

57.

Finally a build system with a statically typed language

github.com/rochus-keller

4 years ago

4 points

58.

Statically Checked SQL for F#

github.com/fsprojects

4 years ago

4 points

59.

Carp – A statically typed Lisp, without a GC, for Real-Time applications

github.com/carp-lang

6 years ago

4 points

60.

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

3 years ago

3 points