A community fork of a language named after a plant fungus. All of the memory-safe features you love, now with 100% less bureaucracy!
Repository Index
86,076 visible repositories in the index
1–12 of 12 · Most stars
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- programming-language
- zero-knowledge
- compiler
- zksnarks
NVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic Rust.
A static, type inferred and embeddable language written in Rust.
- rust
- repl
- programming-language
- type-inference
🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧
KCL Language Core and API
- record
- configuration
- functional
- policy
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 little language inspired by Rust that compiles to Go
- compiler
- go
- programming-language
- rust
Rust virtual machine and JIT compiler for eBPF programs
- jit-compiler
- ebpf
- ebpf-programs
- rust
A PHP-to-native compiler. Takes a subset of PHP - including eval() - and compiles it directly to native assembly, producing standalone binaries for macOS ARM64, Linux ARM64, and Linux x86_64. No VM, no external runtime, no dependencies: dynamic eval falls back to an optional statically linked interpreter.
A high-performance engine for matrix 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