sharkdp / numbat

A statically typed programming language for scientific computations with first class support for physical dimensions and units

unisonweb / unison

A friendly programming language from the future

gleam-lang / gleam

⭐️ A friendly language for building type-safe, scalable systems!

NLnetLabs / roto

(Codeberg mirror) The statically-typed, compiled embedded scripting language for Rust, used by Rotonda.