🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧
Repository Index
88,073 visible repositories in the index
1–3 of 3 · Most stars
A Rust compiler backend targeting CIL(.NET IR) and C.
Cairo is the first Turing-complete language for creating provable programs for general computation.
- starknet
- zero-knowledge-proofs
- zkp
- computational-integrity