🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- programming-language
- zero-knowledge
- compiler
- zksnarks
Repository Index
67,762 visible repositories in the index
1–6 of 6 · Most stars
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 🚧
Rust virtual machine and JIT compiler for eBPF programs
- jit-compiler
- ebpf
- ebpf-programs
- rust
Open source math and physics engine that executes MATLAB-syntax code. Features a modern compiler, automatic GPU acceleration for large calculations, and support for math on geometry / FEA calculations.
- matlab
- rust
- jit-compiler
- linear-algebra