Repositories (8)
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 that a certain computation was executed correctly without the need for this party to re-execute the same program.
Minimalist, fast and modular implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
An up to date riak_core tutorial, using basho's riak_core, Erlang/OTP 23-24-25 and rebar3.
Simple backtesting software for options
Juypter notebooks playground to explore and analyse economy and finance ideas
Erlang + ClojureScript app to send holiday reminders
Export Circom verifier to Cairo
This is an non official book about Aleo's snarkVM and snarkOS