⭐️ A friendly language for building type-safe, scalable systems!
-
Updated
Sep 5, 2024 - Rust
⭐️ 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.
Functional programming inspired by ML for the Erlang VM
A statically typed programming language for scientific computations with first class support for physical dimensions and units
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
Strongly typed Linq and Collections implementation for Javascript and TypeScript (ECMAScript 5)
A statically-typed variant of Lox, written in TypeScript
🔮 The application platform for your cyberpunk desk
An experimental project for statically typed scripting language.
Faster pathlib for Python
Map lazy functional language constructs to LLVM IR
Compiler of a small Scala subset
Statically typed, embeddable, scripting language written in Zig.
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 (currently) programming language.
A simple statically-typed language written in pure Crystal.
Add a description, image, and links to the statically-typed topic page so that developers can more easily learn about it.
To associate your repository with the statically-typed topic, visit your repo's landing page and select "manage topics."