Projects in Awesome Lists by lambdaclass
A curated list of projects in awesome lists by lambdaclass .
https://github.com/lambdaclass/lambdaworks
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
cryptography mathematics zero-knowledge-proofs
Last synced: 15 May 2025
https://github.com/lambdaclass/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.
blockchain compiler cryptography programming-language rust stark zkp
Last synced: 13 Apr 2025
https://github.com/lambdaclass/cleopatra_cairo
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.
blockchain compiler cryptography programming-language rust stark zkp
Last synced: 20 Mar 2025
https://github.com/lambdaclass/lambdaclass_hacking_learning_path
LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!
Last synced: 12 Feb 2026
https://github.com/lambdaclass/ethrex
ethrex: Ethereum Rust Execution L1 and L2 client.
blockchain distributed-systems ethereum execution-layer p2p rollup rollups rust zero-knowledge
Last synced: 08 May 2026
https://github.com/lambdaclass/concrete
Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.
Last synced: 04 Apr 2025
https://github.com/lambdaclass/options_backtester
Simple backtesting software for options
backtester derivatives finance options volatility
Last synced: 19 Jul 2025
https://github.com/lambdaclass/erlings
Small exercises to get you used to reading and writing Erlang code
Last synced: 07 Apr 2025
https://github.com/lambdaclass/starknet_in_rust
A Rust implementation of Starknet execution logic
Last synced: 24 Oct 2025
https://github.com/lambdaclass/riak_core_tutorial
An up to date riak_core tutorial, using basho's riak_core, Erlang/OTP 23-24-25 and rebar3.
distributed distributed-systems elixir erlang functional-programming riak riak-kv
Last synced: 04 Mar 2026
https://github.com/lambdaclass/sparkling_water_bootcamp
Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp
Last synced: 16 Oct 2025
https://github.com/lambdaclass/cairo_native
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
Last synced: 15 May 2025
https://github.com/lambdaclass/lambda_ethereum_consensus
Elixir implementation of an Ethereum consensus client, which offers high reliance & fault tolerance
consensus-client eth2 ethereum
Last synced: 09 Apr 2025
https://github.com/lambdaclass/finance_playground
Juypter notebooks playground to explore and analyse economy and finance ideas
ergodicity finance game-theory jupyter-notebook python
Last synced: 14 Sep 2025
https://github.com/lambdaclass/webrtc-server
Signaling and ICE servers for WebRTC in Erlang
Last synced: 20 Oct 2025
https://github.com/lambdaclass/lambdaworks_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.
Last synced: 03 Jan 2026
https://github.com/lambdaclass/mirra_backend
Multiplayer 2D physics engine, matchmaking, market and leaderboard for 2D and 3D Games
Last synced: 08 May 2025
https://github.com/lambdaclass/holiday_pinger
Erlang + ClojureScript app to send holiday reminders
clojurescript erlang freelance holidays mail ping postgresql reminders slack
Last synced: 09 Apr 2025
https://github.com/lambdaclass/stark_compass_explorer
Stark Compass: the only open source explorer
Last synced: 13 May 2025
https://github.com/lambdaclass/erlang-katana
:ok_hand: erlang grab bag of useful functions. it should have been called swiss army knife but katanas are more deadlier ;)
Last synced: 09 Apr 2025
https://github.com/lambdaclass/libtorrent-rs
A Rust implementation of the BitTorrent V2 protocol
Last synced: 23 Oct 2025
https://github.com/lambdaclass/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.
Last synced: 08 Mar 2026
https://github.com/lambdaclass/yet-another-swap
YAS is Yet Another Swap on Starknet but bringing the best prices and yield to Degens.
Last synced: 09 Apr 2025
https://github.com/lambdaclass/starknet_tendermint_sequencer
Starknet sequencer built with Tendermint Core
Last synced: 28 Oct 2025
https://github.com/lambdaclass/zksync_era_precompiles
Yul precompile library to speedup elliptic curves operations.
Last synced: 09 Apr 2025
https://github.com/lambdaclass/circom_export_to_cairo
Export Circom verifier to Cairo
blockchain compiler cryptography verification
Last synced: 01 Aug 2025
https://github.com/lambdaclass/throttle
Erlang/OTP application to rate limit resource access
api erlang otp rate-limiting throttling
Last synced: 20 Aug 2025
https://github.com/lambdaclass/starknet_stack
Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers
Last synced: 09 Apr 2025
https://github.com/lambdaclass/pinocchio_lambda_vm
Zero Knowledge Virtual Machine from scratch implementing Pinocchio
Last synced: 01 Jul 2025
https://github.com/lambdaclass/buzzconf
A conference by devs for devs. Functional Programming, Distributed Systems, Big Data and Machine Learning Conference in Buenos Aires, Argentina
argentina buenos-aires conference machine-learning workshop
Last synced: 03 Jan 2026
https://github.com/lambdaclass/noir_backend_using_gnark
A Noir's backend implementation using Gnark
gnark noir-lang snarks zero-knowledge zk-snarks
Last synced: 09 Apr 2025
https://github.com/lambdaclass/julia_koans
Small exercises to get you used to reading and writing Julia code!
exercises julia julialang koans
Last synced: 10 Apr 2025
https://github.com/lambdaclass/stabileo
Open-source 2D & 3D structural analysis in the browser. Direct Stiffness Method, real-time solving, no installation required.
civil-engineering education engineering-tools finite-element-methods structural-analysis
Last synced: 23 May 2026
https://github.com/lambdaclass/lambdaworks_kzg
An ABI compatible for KZG EIP-4844 in Rust
Last synced: 09 Apr 2025
https://github.com/lambdaclass/cairo-vm-py
cairo-rs-py adds Python bindings to the cairo-rs Cairo VM
cairo cairo-lang python rust starknet
Last synced: 09 Apr 2025
https://github.com/lambdaclass/programming_bitcoin_in_rust
Implementing the book "Programming Bitcoin" in Rust
Last synced: 09 Apr 2025
https://github.com/lambdaclass/aleo_lambda_vm
Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
Last synced: 09 Apr 2025
https://github.com/lambdaclass/simpleworks
Arkworks made simple for us: the non cryptographer software plumbers
Last synced: 09 Apr 2025
https://github.com/lambdaclass/cairo-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.
Last synced: 28 Jun 2025
https://github.com/lambdaclass/rex
Useful tools for developing on Ethereum powered by Ethrex
Last synced: 23 Jan 2026
https://github.com/lambdaclass/tekton
Tekton is a self-hosted platform for running background AI coding agents at scale. The goal is infrastructure that builds things for you.
Last synced: 23 May 2026
https://github.com/lambdaclass/tornado_cash_anonymity_tool
Anonymity Research Tools for TCash Users
Last synced: 09 Apr 2025
https://github.com/lambdaclass/aleo_lambda_blockchain
Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass
Last synced: 23 Aug 2025
https://github.com/lambdaclass/lambdaworks_exercises
Contains several examples and challenges to use Lambdaworks
Last synced: 03 Oct 2025
https://github.com/lambdaclass/austral.rs
An implementation of the Austral language compiler in Rust
Last synced: 09 Apr 2025
https://github.com/lambdaclass/starknet_rollup_on_bitcoin
Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer
Last synced: 09 Apr 2025
https://github.com/lambdaclass/aleo_minimum_anti_collusion_infrastructure
Aleo's Minimum Anti-Collusion Infrastructure / MACI
maci rust zero-knowledge-proofs
Last synced: 09 Apr 2025
https://github.com/lambdaclass/data_etudes
LambdaClass statistics, machine learning and data science etudes
data-science notebook probability statistics
Last synced: 09 Apr 2025
https://github.com/lambdaclass/starknet_kraken
Kraken is a Starknet modular decentralized sequencer implementation.
Last synced: 09 Apr 2025
https://github.com/lambdaclass/ethrex_db
A simple database implementation based on the Merkle Patricia Trie (MPT).
Last synced: 23 Jan 2026
https://github.com/lambdaclass/reconnections
We were tired of implementing a reconnection system for our database clients so we created this
database erlang reconnect services
Last synced: 15 Mar 2026
https://github.com/lambdaclass/metal_playground
A repo for learning how to parallelize computations in the GPU using Apple's Metal, in Rust.
Last synced: 18 Aug 2025
https://github.com/lambdaclass/elephant_in_the_room
Simple wordpress replacement coded in Elixir + Phoenix + Ecto + PostgreSQL + Docker
Last synced: 09 Apr 2025
https://github.com/lambdaclass/elixir_riak_core
Wrapper to Riak Core for Elixir
distributed-systems elixir erlang riak riak-core
Last synced: 09 Apr 2025
https://github.com/lambdaclass/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 way
Last synced: 25 Aug 2025
https://github.com/lambdaclass/entropy_hacking_learning_path
Entropy1729's Learning path
Last synced: 11 Aug 2025
https://github.com/lambdaclass/ieeextreme
Course material for students who want to go from zero to participating in the IEEExtreme competence using Python
Last synced: 11 Sep 2025
https://github.com/lambdaclass/cairo_codegen-rs
A Rust library providing a builder API to generate Cairo code
Last synced: 03 Jan 2026
https://github.com/lambdaclass/game_of_life_wasm
Conway's Game of Life in Rust and WebAssembly
Last synced: 08 Oct 2025
https://github.com/lambdaclass/curse_of_mirra_assets
Open source game assets: 3D models, 2d concept art, lore, music and more!
Last synced: 04 Jan 2026
https://github.com/lambdaclass/lambda_msm_fpga
Low level (VHDL) hardware description for MSM acceleration over FPGA
Last synced: 09 Apr 2025
https://github.com/lambdaclass/pinpon
:ping_pong: lambdaclass ping pong tournament and player ranking
Last synced: 09 Apr 2025
https://github.com/lambdaclass/mithril-oxide
Bindings to MLIR using the full C++ API
Last synced: 24 Aug 2025
https://github.com/lambdaclass/million_requests_per_second
Trying to achieve a few millions requests per second with different languages, libraries and protocol
Last synced: 09 Apr 2025
https://github.com/lambdaclass/beam_prometheus_exporter
Add this to your release to get standard erlang metrics in prometheus/grafana
beam-prometheus-exporter expose prometheus
Last synced: 03 Oct 2025
https://github.com/lambdaclass/lager_logstash_backend
Send lager logs to logstash
Last synced: 09 Apr 2025
https://github.com/lambdaclass/fuzzing_examples
A collection of fuzzers built using Honggfuzz and Cargofuzz tools
Last synced: 09 Apr 2025
https://github.com/lambdaclass/libssz
A fast, zkVM-friendly SSZ library for Ethereum
Last synced: 23 May 2026
https://github.com/lambdaclass/ethereum_war_game_tooling
We are slow while using the UI/UX of crypto wallets so we created our CLI version
ctf-challenges distributed-systems ethereum wargame
Last synced: 04 Jul 2025
https://github.com/lambdaclass/erlang_log_to_kibana_example
Redirect Erlang shell output to kibana via logstash
docker elasticsearch erlang kibana logstash
Last synced: 09 Apr 2025
https://github.com/lambdaclass/tendermint_consensus
Tendermint Consensus is a minimalistic implementation of the BFT consensus algorithm to securely replicate state machines on multiple machines.
Last synced: 26 Feb 2026
https://github.com/lambdaclass/guidelines
Design and coding standards for LambdaClass
Last synced: 04 Jan 2026
https://github.com/lambdaclass/afk_gacha_game
AFK Gacha Game is an autobattler by LambdaClass
Last synced: 09 Apr 2025
https://github.com/lambdaclass/chaos_monkey_ex
A Chaos Monkey for Elixir that kills random processes
Last synced: 17 Jun 2025
https://github.com/lambdaclass/zk_stack_cli
CLI tool for ZKsync, built using zksync-ethers-rs SDK
Last synced: 30 Jul 2025
https://github.com/lambdaclass/go-http-ipfs
HTTP server in Go to interact with a local IPFS node
Last synced: 17 Mar 2025
https://github.com/lambdaclass/lambcast
A Farcaster client implementation in Elixir
Last synced: 23 Oct 2025
https://github.com/lambdaclass/consensus-workbench
Proof of concept Rust implementations for various distributed systems protocols
byzantine-fault-tolerance consensus distributed-systems rust state-machine-replication
Last synced: 20 Jun 2025