Skip to content

@lambdaclass Lambdaclass

Change the repository type filter

All

    Repositories list

    398 repositories

    • argentum

      Public
      Argentum Online
      Elixir
      •
      Apache License 2.0
      •0•4•0•0•Updated Apr 25, 2026Apr 25, 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•28•1•3•Updated Apr 25, 2026Apr 25, 2026

    • 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
      •194•860•601•227•Updated Apr 25, 2026Apr 25, 2026

    • CommitLLM

      Public
      CommitLLM is a cryptographic commit-and-audit protocol for open-weight LLM inference.
      Rust
      •
      MIT License
      •5•91•0•1•Updated Apr 25, 2026Apr 25, 2026

    • miden-project-template

      Public template
      Rust template for Miden projects
      Rust
      •
      MIT License
      •6•0•0•0•Updated Apr 25, 2026Apr 25, 2026

    • vertex_images

      Public
      0•0•0•0•Updated Apr 24, 2026Apr 24, 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 24, 2026Apr 24, 2026

    • truth_research_zk

      Public
      Verified Optimizing Compiler for Cryptographic Primitives
      lean4
      lean4
      Lean
      •
      MIT License
      •3•33•4•6•Updated Apr 24, 2026Apr 24, 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•227•5•4•Updated Apr 24, 2026Apr 24, 2026

    • example_service

      Public
      Nix
      •0•0•1•0•Updated Apr 24, 2026Apr 24, 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
      •19•74•38•5•Updated Apr 24, 2026Apr 24, 2026

    • leanSpec

      Public
      Lean Ethereum protocol specifications and test vector generation framework.
      Python
      •
      MIT License
      •66•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

    • miden-base

      Public
      Core components of the Polygon Miden rollup
      Rust
      •
      MIT License
      •129•1•0•0•Updated Apr 22, 2026Apr 22, 2026

    • homebrew-tap

      Public
      Ruby
      •0•0•0•1•Updated Apr 22, 2026Apr 22, 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 Apr 21, 2026Apr 21, 2026

    • miden-vm

      Public
      STARK-based virtual machine - For Lambdaworks Prover
      Rust
      •
      Apache License 2.0
      •286•0•0•0•Updated Apr 20, 2026Apr 20, 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
      •3k•0•0•2•Updated Apr 16, 2026Apr 16, 2026

    • rust-libp2p

      Public
      The Rust Implementation of the libp2p networking stack.
      Rust
      •
      MIT License
      •1.2k•0•0•0•Updated Apr 14, 2026Apr 14, 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•41•10•2•Updated Apr 14, 2026Apr 14, 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
      •128•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

    • 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…
      Rust
      •
      Apache License 2.0
      •222•0•0•0•Updated Apr 9, 2026Apr 9, 2026

    • ethrex-ethproofs

      Public
      EthProofs client powered by ethrex
      Elixir
      •
      MIT License
      •0•2•0•3•Updated Apr 9, 2026Apr 9, 2026

    • batteries

      Public
      The "batteries included" extended library for the Lean programming language and theorem prover
      Lean
      •
      Apache License 2.0
      •143•0•0•0•Updated Apr 7, 2026Apr 7, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.