⭐️ A friendly language for building type-safe, scalable systems!
-
Updated
May 27, 2024 - Rust
⭐️ A friendly language for building type-safe, scalable systems!
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
Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
A minimum viable functional programming language for the JVM
The initial (legacy) compiler for the Gera programming language.
Rust Implementation of Ladder-Types (parsing, unification, rewriting, etc)
A simple statically-typed language written in pure Crystal.
The Mrald Programming Language
Statically typed properties for object literals
Compiler of a small Scala subset
Faster pathlib for Python
OCaml inspired language
A compiled statically typed multi paradigm general purpose programming language designed for cross platform applications.
tiny utility program for type-analysis of shell pipelines based on ladder-typing
An ML-like statically-typed Erlang
Compiler for a general purpose statically typed language - Sypher.
🔮 The application platform for your cyberpunk desk
An interpreted statically typed multi paradigm general purpose programming language designed for cross platform applications.
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."