Lambdaclass

Pinned

1. lambdaworks Public

   The library for kids who wanna learn how to do SNARKs and learn other cryptographic stuff too

   Rust 297 24

2. cairo-rs Public

   cairo-rs 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 324 52

3. erlings Public

   Small exercises to get you used to reading and writing Erlang code

   Erlang 154 22

4. riak_core_tutorial Public

   An up to date riak_core tutorial, using basho's riak_core, Erlang/OTP 23-24-25 and rebar3.

   Erlang 142 11

5. merkle_patricia_tree Public

   Patricia Merkle Tree implementation in Rust

   Rust 105 5

6. STARK101-rs Public

   STARK 101 Workshop in Rust 🐺🦀

   Jupyter Notebook 80 7