Pinned Loading

1. lambdaclass/cairo_native lambdaclass/cairo_native Public

   A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.

   Rust 121 43

2. lambdaclass/cairo-vm lambdaclass/cairo-vm Public

   cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another th…

   Rust 515 148

3. lambdaclass/cairo-vm-py lambdaclass/cairo-vm-py Public

   cairo-rs-py adds Python bindings to the cairo-rs Cairo VM

   Rust 23 6

4. kvs kvs Public

   Rust

5. unbalancedparentheses/data_science_in_julia_for_hackers unbalancedparentheses/data_science_in_julia_for_hackers Public

   Data Science in Julia With Hackers

   Julia 113 25

6. starknet-io/types-rs starknet-io/types-rs Public

   🐺 Starknet Rust types 🦀

   Rust 65 41