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
87,075 visible repositories in the index
1–6 of 6 · Most stars
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
Source code of Ferrocene, safety-critical Rust toolchain
Generic purpose Just-In-time compiler for Rust.