Repository Index

🦁 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.

• compiler-backend
• async
• cuda
• gpu

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 🚧

• compiler
• rust
• shaders
• spirv

KCL Language Core and API

• record
• configuration
• functional
• policy

Cairo is the first Turing-complete language for creating provable programs for general computation.

• starknet
• zero-knowledge-proofs
• zkp
• computational-integrity

Rust virtual machine and JIT compiler for eBPF programs

• jit-compiler
• ebpf
• ebpf-programs
• rust

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