There are no reviews yet. Be the first to send feedback to the community and the maintainers!
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.lambdaclass_hacking_learning_path
LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!starknet_in_rust
A Rust implementation of Starknet execution logicerlings
Small exercises to get you used to reading and writing Erlang codeoptions_backtester
Simple backtesting software for optionsmerkle_patricia_tree
Patricia Merkle Tree implementation in Rustriak_core_tutorial
An up to date riak_core tutorial, using basho's riak_core, Erlang/OTP 23-24-25 and rebar3.STARK101-rs
STARK 101 Workshop in Rust πΊπ¦sparkling_water_bootcamp
Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcampconcrete
Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.cairo_native
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.ethereum_rust
Lambda Ethereum Rust Execution clientlambda_ethereum_consensus
Elixir implementation of an Ethereum consensus client, which offers high reliance & fault tolerancefinance_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.mina_bridge
Bridge from Mina to Ethereumevm_mlir
An EVM written with MLIRAES_zero_knowledge_proof_circuit
holiday_pinger
Erlang + ClojureScript app to send holiday remindersstark_compass_explorer
Stark Compass: the only open source explorermirra_backend
Multiplayer 2D physics engine, matchmaking, market and leaderboard for 2D and 3D Gameserlang-katana
π erlang grab bag of useful functions. it should have been called swiss army knife but katanas are more deadlier ;)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.libtorrent-rs
A Rust implementation of the BitTorrent V2 protocolyet-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 Corezksync_era_precompiles
Yul precompile library to speedup elliptic curves operations.champions_of_mirra
Champions of Mirra game codebasecircom_export_to_cairo
Export Circom verifier to Cairostarknet_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 accesscairo-by-example
cairo-by-example.compinocchio_lambda_vm
Zero Knowledge Virtual Machine from scratch implementing Pinocchiobuzzconf
A conference by devs for devs. Functional Programming, Distributed Systems, Big Data and Machine Learning Conference in Buenos Aires, Argentinazksync-web3-rs
julia_koans
Small exercises to get you used to reading and writing Julia code!noir_backend_using_gnark
A Noir's backend implementation using Gnarkcairo-vm-py
cairo-rs-py adds Python bindings to the cairo-rs Cairo VMlambdaworks_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 plumbersera_vm
EraVM implementationcairo-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 Usersaleo_lambda_blockchain
Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClassstarknet_prover
lambdaworks_exercises
Contains several examples and challenges to use Lambdaworksaustral.rs
An implementation of the Austral language compiler in Ruststarknet_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_local_stack
game_of_life_wasm
Conway's Game of Life in Rust and WebAssemblyelixir_riak_core
Wrapper to Riak Core for Elixircairo_codegen-rs
A Rust library providing a builder API to generate Cairo codezkRust
lambda_msm_fpga
Low level (VHDL) hardware description for MSM acceleration over FPGAcurse_of_mirra_assets
Open source game assets: 3D models, 2d concept art, lore, music and more!pinpon
π lambdaclass ping pong tournament and player rankingieeextreme
Course material for students who want to go from zero to participating in the IEEExtreme competence using Pythonentropy_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
cairo_finance
Cairo finance utilitieslager_logstash_backend
Send lager logs to logstashlambdaworks_plonk_prover
bonobot
accept the mysterybeam_prometheus_exporter
Add this to your release to get standard erlang metrics in prometheus/grafanamillion_requests_per_second
Trying to achieve a few millions requests per second with different languages, libraries and protocolmithril-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 versionzk_stack_cli
CLI tool for ZKsync, built using zksync-ethers-rs SDKerlang_log_to_kibana_example
Redirect Erlang shell output to kibana via logstashcairo-rs-wasm
starknet-replay
Provides a way of reading a real Starknet State, so you can re-execute an existing transaction in any of the Starknet networks in an easy wayaggregation_aligned_layer
guidelines
Design and coding standards for LambdaClasstendermint_consensus
Tendermint Consensus is a minimalistic implementation of the BFT consensus algorithm to securely replicate state machines on multiple machines.go-http-ipfs
HTTP server in Go to interact with a local IPFS nodecairo_wnn
Cairo Weightless Neural Networkchaos_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 Elixirzksync_seaport
Seaport implementation on zkSync Era. Seaport is a marketplace protocol for safely and efficiently buying and selling NFTs.Love Open Source and this site? Check out how you can help us