Lambdaclass

All

377 repositories

dedaliano
Public
Open-source 2D & 3D structural analysis in the browser. Direct Stiffness Method, real-time solving, no installation required.
education structural-analysis finite-element-methods
education structural-analysis finite-element-methods civil-engineering engineering-tools
TypeScript
•
GNU Affero General Public License v3.0
•1•21•0•0•Updated Mar 5, 2026Mar 5, 2026
options_portfolio_backtester
Public
Backtester for evaluating options and equity portfolio strategies over historical data. Includes tools for strategy sweeps, tail-risk hedge analysis, and signal…
finance options derivatives
finance options derivatives backtester volatility
Python
•
MIT License
•31•196•4•1•Updated Mar 5, 2026Mar 5, 2026
ethrex
Public
Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
rust distributed-systems ethereum
rust distributed-systems ethereum blockchain rollup p2p zero-knowledge rollups execution-layer
Rust
•
Apache License 2.0
•175•850•585•192•Updated Mar 5, 2026Mar 5, 2026
cairo_native
Public
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
rust cairo mlir
rust cairo mlir
Rust
•
Apache License 2.0
•50•137•72•7•Updated Mar 5, 2026Mar 5, 2026
sequencer
Public
Rust
•
Apache License 2.0
•66•0•0•6•Updated Mar 4, 2026Mar 4, 2026
ethrex-replay
Public
Ethereum re-execution tool, powered by ethrex
Elixir
•
MIT License
•1•8•15•5•Updated Mar 4, 2026Mar 4, 2026
rex
Public
Useful tools for developing on Ethereum powered by Ethrex
Rust
•
MIT License
•4•18•93•5•Updated Mar 4, 2026Mar 4, 2026
ethrex-ethproofs
Public
EthProofs client powered by ethrex
Elixir
•
MIT License
•0•2•0•2•Updated Mar 4, 2026Mar 4, 2026
tekton
Public
Tekton is a self-hosted platform for running background AI coding agents at scale. The goal is infrastructure that builds things for you.
TypeScript
•1•6•50•2•Updated Mar 4, 2026Mar 4, 2026
lambda_ethereum_consensus
Public
Elixir implementation of an Ethereum consensus client, which offers high reliance & fault tolerance
ethereum eth2 consensus-client
ethereum eth2 consensus-client
Elixir
•
Apache License 2.0
•42•108•127•2•Updated Mar 4, 2026Mar 4, 2026
ethlambda
Public
A minimalist and fast Lean Consensus client by LambdaClass, bringing expertise in distributed systems and blockchain infrastructure to deliver a robust and perf…
Rust
•
MIT License
•12•69•31•2•Updated Mar 4, 2026Mar 4, 2026
miden-compiler
Public
Compiler from MidenIR to Miden Assembly
Rust
•
MIT License
•64•1•0•5•Updated Mar 4, 2026Mar 4, 2026
spawned
Public
A Rust library for decoupling concurrency from application logic, following the model used by Erlang and the BEAM VM
Rust
•
MIT License
•5•27•21•8•Updated Mar 4, 2026Mar 4, 2026
finance_playground
Public
Juypter notebooks playground to explore and analyse economy and finance ideas
python finance jupyter-notebook
python finance jupyter-notebook game-theory ergodicity
Python
•
MIT License
•22•97•11•27•Updated Mar 4, 2026Mar 4, 2026
lambdaworks
Public
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing custo…
cryptography mathematics zero-knowledge-proofs
cryptography mathematics zero-knowledge-proofs
Rust
•
Apache License 2.0
•189•724•82•25•Updated Mar 4, 2026Mar 4, 2026
ethrex-db
Public
Rust
•1•0•1•1•Updated Mar 3, 2026Mar 3, 2026
cairo-vm
Public
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, wh…
programming-language rust cryptography
programming-language rust cryptography compiler blockchain stark zkp
Rust
•
Apache License 2.0
•219•577•31•5•Updated Mar 3, 2026Mar 3, 2026
starknet-replay
Public
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
Rust
•
Apache License 2.0
•1•8•17•14•Updated Mar 2, 2026Mar 2, 2026
miden-client
Public
Rust
•
MIT License
•86•0•0•6•Updated Mar 2, 2026Mar 2, 2026
miden-base
Public
Core components of the Polygon Miden rollup
Rust
•
MIT License
•118•1•0•0•Updated Mar 2, 2026Mar 2, 2026
lambda_compiler_kit
Public
Lambda Compiler Kit: formally verified toolkit for building compilers
lean4
lean4
Lean
•
MIT License
•1•2•27•4•Updated Feb 27, 2026Feb 27, 2026
lean-quickstart
Public
a utility to quickly spin up a localnet of lean (multi-client) nodes
Shell
•
MIT License
•22•0•0•0•Updated Feb 27, 2026Feb 27, 2026
leanSpec
Public
Lean Ethereum protocol specifications and test vector generation framework.
Python
•
MIT License
•44•0•0•0•Updated Feb 27, 2026Feb 27, 2026
stablecoin
Public
Stablecoin Operations
TypeScript
•0•2•13•3•Updated Feb 26, 2026Feb 26, 2026
bonobot
Public
accept the mystery
Python
•2•6•2•4•Updated Feb 20, 2026Feb 20, 2026
actions
Public
Reusable GitHub Actions workflows for lambdaclass organization
0•1•0•0•Updated Feb 17, 2026Feb 17, 2026
amo-lean
Public
Verified Optimizing Compiler for Cryptographic Primitives
lean4
lean4
Lean
•
MIT License
•1•18•0•1•Updated Feb 12, 2026Feb 12, 2026
lambdaclass_blog
Public
Lambdaclass Blog
SCSS
•
MIT License
•0•0•0•10•Updated Feb 12, 2026Feb 12, 2026
zisk
Public
Rust
•
Apache License 2.0
•47•0•0•0•Updated Feb 5, 2026Feb 5, 2026
leanroadmap
Public
Track Lean Consensus research progress across all workstreams
TypeScript
•
MIT License
•22•0•0•0•Updated Feb 4, 2026Feb 4, 2026