Lists (1)
Sort Name ascending (A-Z)
Starred repositories
A massively parallel, high-level programming language
A type-centred purely functional programming language designed to type binary files. Mirror of code maintained at gitlab.com.
Pure and reproducible nix overlay of binary distributed rust toolchains
NIx Language server, an incremental analysis assistant for writing in Nix.
cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code
Distributed systems runtime daemon written in Rust.
Lean 4 programming language and theorem prover
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
A refreshingly simple data-driven game engine built in Rust
Empowering everyone to build reliable and efficient software.