Repository navigation
statically-typed
- Website
- Wikipedia
⭐️ A friendly language for building type-safe, scalable systems!
Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
A statically typed programming language for scientific computations with first class support for physical dimensions and units
Functional programming inspired by ML for the Erlang VM
The parallel, concurrent, and functional programming language for scalable software development
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
A statically typed functional programming language for the web.
An ML-like statically-typed Erlang
A statically-typed variant of Lox, written in TypeScript
Strongly typed Linq and Collections implementation for Javascript and TypeScript (ECMAScript 5)
🔮 The application platform for your cyberpunk desk
An experimental project for statically typed scripting language.
Map lazy functional language constructs to LLVM IR
Statically typed, embeddable, scripting language written in Zig.
Compiler for a small Scala subset
A static strongly typed object oriented programming language with focus on composition
The initial (legacy) compiler for the Gera programming language.
🌊 A statically typed lisp-like programming language.
A simple statically-typed language written in pure Crystal.