🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- programming-language
- zero-knowledge
- compiler
- zksnarks
Repository Index
77,852 visible repositories in the index
1–7 of 7 · Most stars
A static, type inferred and embeddable language written in Rust.
- rust
- repl
- programming-language
- type-inference
KCL Language Core and API
- record
- configuration
- functional
- policy
Incremental rust builds up to 92x faster than cargo/rustc
- cargo
- compiler
- cranelift
- developer-tools
Cairo is the first Turing-complete language for creating provable programs for general computation.
- starknet
- zero-knowledge-proofs
- zkp
- computational-integrity
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 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