Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
A programming language that is higher level than Rust but lower level than Go. Someday, anyways.
A small, fast, and embeddable programming language based on Lua with a gradual type system.
KCL Core and API
⭐️ 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 Go/XGo Interpreter
A New Language for Creative Coding
Borgo is a statically typed language that compiles to Go.
A type-safe, component-based language for building reactive WASM web apps.