Skip to content

@lambdaclass Lambdaclass

Change the repository type filter

All

    Repositories list

    398 repositories

    • ethrex

      Public
      Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
      rustdistributed-systemsethereum
      rustdistributed-systemsethereumblockchainrollupp2pzero-knowledgerollupsexecution-layer
      Rust
      •
      Apache License 2.0
      •199•863•605•237•Updated May 6, 2026May 6, 2026

    • vertex_images

      Public
      0•0•0•0•Updated May 6, 2026May 6, 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•42•10•2•Updated May 6, 2026May 6, 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
      •21•74•30•15•Updated May 6, 2026May 6, 2026

    • truth_research_zk

      Public
      Verified Optimizing Compiler for Cryptographic Primitives
      lean4
      lean4
      Lean
      •
      MIT License
      •3•34•4•7•Updated May 6, 2026May 6, 2026

    • lambdaworks

      Public
      lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing custo…
      cryptographymathematicszero-knowledge-proofs
      cryptographymathematicszero-knowledge-proofs
      Rust
      •
      Apache License 2.0
      •190•730•82•24•Updated May 6, 2026May 6, 2026

    • homebrew-tap

      Public
      Ruby
      •0•0•0•2•Updated May 5, 2026May 5, 2026

    • miden-base

      Public
      Core components of the Polygon Miden rollup
      Rust
      •
      MIT License
      •132•1•0•0•Updated May 5, 2026May 5, 2026

    • lambda_ethereum_consensus

      Public
      Elixir implementation of an Ethereum consensus client, which offers high reliance & fault tolerance
      ethereumeth2consensus-client
      ethereumeth2consensus-client
      Elixir
      •
      Apache License 2.0
      •41•108•127•13•Updated May 4, 2026May 4, 2026

    • miden-vm

      Public
      STARK-based virtual machine - For Lambdaworks Prover
      Rust
      •
      Apache License 2.0
      •291•0•0•0•Updated May 4, 2026May 4, 2026

    • CommitLLM

      Public
      CommitLLM is a cryptographic commit-and-audit protocol for open-weight LLM inference.
      Rust
      •
      MIT License
      •6•93•0•1•Updated May 1, 2026May 1, 2026

    • argentum

      Public
      Argentum Online
      Elixir
      •
      Apache License 2.0
      •0•5•0•0•Updated May 1, 2026May 1, 2026

    • stabileo

      Public
      Open-source 2D & 3D structural analysis in the browser. Direct Stiffness Method, real-time solving, no installation required.
      educationstructural-analysisfinite-element-methods
      educationstructural-analysisfinite-element-methodscivil-engineeringengineering-tools
      Rust
      •
      GNU Affero General Public License v3.0
      •3•29•1•4•Updated May 1, 2026May 1, 2026

    • rust-libp2p

      Public
      The Rust Implementation of the libp2p networking stack.
      Rust
      •
      MIT License
      •1.2k•0•0•0•Updated Apr 30, 2026Apr 30, 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
      •0•18•57•7•Updated Apr 29, 2026Apr 29, 2026

    • truth_research

      Public
      Formally verified equality saturation engine in Lean 4, parameterized by typeclasses. OptiSat provides a domain-agnostic e-graph with 248 theorems
      lean4
      lean4
      Lean
      •
      MIT License
      •0•4•4•2•Updated Apr 27, 2026Apr 27, 2026

    • lean-quickstart

      Public
      a utility to quickly spin up a localnet of lean (multi-client) nodes
      Shell
      •
      MIT License
      •28•0•0•0•Updated Apr 27, 2026Apr 27, 2026

    • miden-project-template

      Public template
      Rust template for Miden projects
      Rust
      •
      MIT License
      •6•0•0•0•Updated Apr 25, 2026Apr 25, 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…
      financeoptionsderivatives
      financeoptionsderivativesbacktestervolatility
      Python
      •
      MIT License
      •36•231•5•4•Updated Apr 24, 2026Apr 24, 2026

    • example_service

      Public
      Nix
      •0•0•1•0•Updated Apr 24, 2026Apr 24, 2026

    • leanSpec

      Public
      Lean Ethereum protocol specifications and test vector generation framework.
      Python
      •
      MIT License
      •69•0•0•0•Updated Apr 23, 2026Apr 23, 2026

    • lambdaclass_blog

      Public
      Lambdaclass Blog
      SCSS
      •
      MIT License
      •0•0•2•19•Updated Apr 22, 2026Apr 22, 2026

    • stablecoin

      Public
      Solidity
      •0•0•0•1•Updated Apr 22, 2026Apr 22, 2026

    • rex

      Public
      Useful tools for developing on Ethereum powered by Ethrex
      Rust
      •
      MIT License
      •4•18•93•6•Updated Apr 20, 2026Apr 20, 2026

    • viem

      Public
      TypeScript Interface for Ethereum
      TypeScript
      •
      Other
      •1.4k•0•0•0•Updated Apr 18, 2026Apr 18, 2026

    • ethrex-tooling

      Public
      Rust
      •0•0•0•0•Updated Apr 16, 2026Apr 16, 2026

    • ethrex-blockscout

      Public
      Blockchain explorer for Ethereum based network and a tool for inspecting and analyzing EVM based blockchains.
      Elixir
      •
      GNU General Public License v3.0
      •3.1k•0•0•2•Updated Apr 16, 2026Apr 16, 2026

    • miden-faucet

      Public
      Token faucet application for Miden testnet
      Rust
      •
      MIT License
      •2•0•0•0•Updated Apr 13, 2026Apr 13, 2026

    • cslib

      Public
      The Lean Computer Science Library (CSLib)
      Lean
      •
      Apache License 2.0
      •131•0•0•1•Updated Apr 9, 2026Apr 9, 2026

    • miden-compiler

      Public
      Compiler from MidenIR to Miden Assembly
      Rust
      •
      MIT License
      •70•1•0•5•Updated Apr 9, 2026Apr 9, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.