#statically-typed (9 Repositories)
Ranked open-source repositories tagged with #statically-typed, scored by pull request acceptance likelihood and maintainer engagement velocity.
30.0%
9.6h
9 repositories tagged #statically-typed
gleam-lang/gleam
⭐️ A friendly language for building type-safe, scalable systems!
briar-systems/mach
A systems programming language with no hidden behavior.
pen-lang/pen
The parallel, concurrent, and functional programming language for scalable software development
sharkdp/numbat
A statically typed programming language for scientific computations with first class support for physical dimensions and units
horacehoff/keel
A fast, statically-typed interpreted language that blends Rust-like syntax with Python's ease of use. 2-10x faster than Python, with type inference, monomorphization, and constant folding.
alpaca-lang/alpaca
Functional programming inspired by ML for the Erlang VM
gfngfn/Sesterl
An ML-like statically-typed Erlang
fika-lang/fika
A statically typed functional programming language for the web.
edubart/nelua-lang
Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.