Empowering everyone to build reliable and efficient software.
Repository Index
77,852 visible repositories in the index
1–12 of 12 · Most stars
🌴 Empowering everyone to build reliable and efficient smart contracts.
A native TypeScript/JavaScript compiler written in Rust. Compiles TypeScript/JavaScript directly to executables using SWC and LLVM.
- compile
- smc
- typescript
- android
A community fork of a language named after a plant fungus. All of the memory-safe features you love, now with 100% less bureaucracy!
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- programming-language
- zero-knowledge
- compiler
- zksnarks
A static, type inferred and embeddable language written in Rust.
- rust
- repl
- programming-language
- type-inference
Claude Opus 4.6 wrote a dependency-free C compiler in Rust, with backends targeting x86 (64- and 32-bit), ARM, and RISC-V, capable of compiling a booting Linux kernel.
Incremental rust builds up to 92x faster than cargo/rustc
- cargo
- compiler
- cranelift
- developer-tools
Source code for the Mun language and runtime.
Cairo is the first Turing-complete language for creating provable programs for general computation.
- starknet
- zero-knowledge-proofs
- zkp
- computational-integrity
A high-performance engine for engineering math, physics simulation, and MCAD and ECAD as code. RunMat checks types, sizes and units before anything runs, executes on CPU and GPU, and runs existing MATLAB-language code as written.
- matlab
- rust
- jit-compiler
- linear-algebra
a rust compiler daemon for up to 25x faster cargo builds