lambdaworks
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.cairo-vm
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.starknet_in_rust
A Rust implementation of Starknet execution logicerlings
Small exercises to get you used to reading and writing Erlang codelambdaclass_hacking_learning_path
LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!riak_core_tutorial
An up to date riak_core tutorial, using basho's riak_core, Erlang/OTP 23-24-25 and rebar3.merkle_patricia_tree
Patricia Merkle Tree implementation in Rustoptions_backtester
Simple backtesting software for optionsSTARK101-rs
STARK 101 Workshop in Rust πΊπ¦concrete
Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.sparkling_water_bootcamp
Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcampcairo_native
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.finance_playground
Juypter notebooks playground to explore and analyse economy and finance ideaswebrtc-server
Signaling and ICE servers for WebRTC in Erlanglambdaworks_stark_platinum
STARK Cairo prover using lambdaworks. 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. Cairo and similar proof systems can be used to provide scalability to blockchains.lambda_ethereum_consensus
Elixir implementation of an Ethereum consensus client, which offers high reliance & fault toleranceholiday_pinger
Erlang + ClojureScript app to send holiday remindersstark_compass_explorer
Stark Compass: the only open source explorerAES_zero_knowledge_proof_circuit
mina_bridge
Bridge from Mina to Ethereumerlang-katana
π erlang grab bag of useful functions. it should have been called swiss army knife but katanas are more deadlier ;)yet-another-swap
YAS is Yet Another Swap on Starknet but bringing the best prices and yield to Degens.starknet_tendermint_sequencer
Starknet sequencer built with Tendermint Corelibtorrent-rs
A Rust implementation of the BitTorrent V2 protocolzksync_era_precompiles
Yul precompile library to speedup elliptic curves operations.cairo-vm_in_go
cairo-vm_in_go is a Go 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.circom_export_to_cairo
Export Circom verifier to Cairocurse_of_mirra
Curse of Mirra game codebasestarknet_stack
Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiersthrottle
Erlang/OTP application to rate limit resource accesspinocchio_lambda_vm
Zero Knowledge Virtual Machine from scratch implementing Pinocchiocairo-by-example
cairo-by-example.combuzzconf
A conference by devs for devs. Functional Programming, Distributed Systems, Big Data and Machine Learning Conference in Buenos Aires, Argentinajulia_koans
Small exercises to get you used to reading and writing Julia code!noir_backend_using_gnark
A Noir's backend implementation using Gnarkzksync-web3-rs
cairo-vm-py
cairo-rs-py adds Python bindings to the cairo-rs Cairo VMmirra_backend
Multiplayer 2D physics engine, matchmaking, market and leaderboard for 2D and 3D Gameslambdaworks_kzg
An ABI compatible for KZG EIP-4844 in Rustaleo_lambda_vm
Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClasssimpleworks
Arkworks made simple for us: the non cryptographer software plumberscairo-vm.c
cairo-vm_in_C is a C 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.programming_bitcoin_in_rust
Implementing the book "Programming Bitcoin" in Rusttornado_cash_anonymity_tool
Anonymity Research Tools for TCash Usersstarknet_prover
aleo_lambda_blockchain
Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClassaustral.rs
An implementation of the Austral language compiler in Rustlambdaworks_exercises
Contains several examples and challenges to use Lambdaworksaleo_minimum_anti_collusion_infrastructure
Aleo's Minimum Anti-Collusion Infrastructure / MACIstarknet_rollup_on_bitcoin
Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layerlambda_consensus
Ethereum Consensus Clientstarknet_kraken
Kraken is a Starknet modular decentralized sequencer implementation.cairo_karnak
Cairo bytecode compilerdata_etudes
LambdaClass statistics, machine learning and data science etudesreconnections
We were tired of implementing a reconnection system for our database clients so we created thisfind_peers
Find other erlang peers in the same subnetPLONK101-rs
elephant_in_the_room
Simple wordpress replacement coded in Elixir + Phoenix + Ecto + PostgreSQL + Dockerzksync_stack
game_of_life_wasm
Conway's Game of Life in Rust and WebAssemblycairo_codegen-rs
A Rust library providing a builder API to generate Cairo codelambda_msm_fpga
Low level (VHDL) hardware description for MSM acceleration over FPGAzkRust
ieeextreme
Course material for students who want to go from zero to participating in the IEEExtreme competence using Pythonpinpon
π lambdaclass ping pong tournament and player rankingentropy_hacking_learning_path
Entropy1729's Learning pathmetal_playground
A repo for learning how to parallelize computations in the GPU using Apple's Metal, in Rust.aleo_roulette
elixir_riak_core
Wrapper to Riak Core for Elixircairo_finance
Cairo finance utilitieslambdaworks_plonk_prover
bonobot
accept the mysterybeam_prometheus_exporter
Add this to your release to get standard erlang metrics in prometheus/grafanalager_logstash_backend
Send lager logs to logstashcurse_of_mirra_assets
Open source game assets: 3D models, 2d concept art, lore, music and more!mithril-oxide
Bindings to MLIR using the full C++ APIfuzzing_examples
A collection of fuzzers built using Honggfuzz and Cargofuzz toolsdata_science_exercise
Data science exerciseblockaderl
Blockade docker API wrapper written in Erlangstarknet_orb
ethereum_war_game_tooling
We are slow while using the UI/UX of crypto wallets so we created our CLI versionerlang_log_to_kibana_example
Redirect Erlang shell output to kibana via logstashmillion_requests_per_second
Trying to achieve a few millions requests per second with different languages, libraries and protocoltendermint_consensus
Tendermint Consensus is a minimalistic implementation of the BFT consensus algorithm to securely replicate state machines on multiple machines.guidelines
Design and coding standards for LambdaClasszksync_era_cli
CLI tool for zkSync Era, built using zksync-web3-rs SDKgo-http-ipfs
HTTP server in Go to interact with a local IPFS nodecairo_wnn
Cairo Weightless Neural Networkcairo-rs-wasm
aggregation_aligned_layer
chaos_monkey_ex
A Chaos Monkey for Elixir that kills random processeswasm2cairo
merkletree_leo
concrete-ml-fuzzer
A differential fuzzer for `concrete-ml` and `scikit-learn`consensus-workbench
Proof of concept Rust implementations for various distributed systems protocolslambcast
A Farcaster client implementation in Elixirevents
Calendar of Lambda's public eventsRust_Merkle_Tree
Implementation of a Merkle Tree in Rustdatalog
Datalog in ElixirPhoenix-learning-path-projects
Love Open Source and this site? Check out how you can help us