🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- programming-language
- zero-knowledge
- compiler
- zksnarks
Repository Index
88,573 visible repositories in the index
1–5 of 5 · Most stars
KCL Language Core and API
- record
- configuration
- functional
- policy
Incremental rust builds up to 92x faster than cargo/rustc
- cargo
- compiler
- cranelift
- developer-tools
Source code of Ferrocene, safety-critical Rust toolchain
Generic purpose Just-In-time compiler for Rust.