Skip to content

@lambdaclass Lambdaclass

Change the repository type filter

All

    Repositories list

    396 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
      •194•858•599•218•Updated Apr 20, 2026Apr 20, 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•26•1•3•Updated Apr 20, 2026Apr 20, 2026

    • argentum

      Public
      Argentum Online
      Elixir
      •
      Apache License 2.0
      •0•4•0•0•Updated Apr 20, 2026Apr 20, 2026

    • CommitLLM

      Public
      CommitLLM is a cryptographic commit-and-audit protocol for open-weight LLM inference.
      Rust
      •
      MIT License
      •4•90•0•0•Updated Apr 19, 2026Apr 19, 2026

    • viem

      Public
      TypeScript Interface for Ethereum
      TypeScript
      •
      Other
      •1.4k•0•0•0•Updated Apr 18, 2026Apr 18, 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
      •18•73•37•8•Updated Apr 17, 2026Apr 17, 2026

    • lambdaclass_blog

      Public
      Lambdaclass Blog
      SCSS
      •
      MIT License
      •0•0•0•10•Updated Apr 17, 2026Apr 17, 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•10•Updated Apr 17, 2026Apr 17, 2026

    • example_service

      Public
      Nix
      •0•0•0•0•Updated Apr 17, 2026Apr 17, 2026

    • rex

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

    • truth_research_zk

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

    • miden-base

      Public
      Core components of the Polygon Miden rollup
      Rust
      •
      MIT License
      •125•1•0•0•Updated Apr 16, 2026Apr 16, 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 15, 2026Apr 15, 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•36•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

    • miden-vm

      Public
      STARK-based virtual machine - For Lambdaworks Prover
      Rust
      •
      Apache License 2.0
      •284•0•0•0•Updated Apr 13, 2026Apr 13, 2026

    • cslib

      Public
      The Lean Computer Science Library (CSLib)
      Lean
      •
      Apache License 2.0
      •124•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

    • miden-project-template

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

    • batteries

      Public
      The "batteries included" extended library for the Lean programming language and theorem prover
      Lean
      •
      Apache License 2.0
      •142•0•0•0•Updated Apr 7, 2026Apr 7, 2026

    • miden-client

      Public
      Rust
      •
      MIT License
      •93•0•0•6•Updated Apr 7, 2026Apr 7, 2026

    • lean-template

      Public
      A basic template for Lean projects
      MIT License
      •0•0•0•0•Updated Apr 7, 2026Apr 7, 2026

    • lean_explorer

      Public
      TypeScript
      •
      MIT License
      •0•0•0•0•Updated Apr 1, 2026Apr 1, 2026

    • libssz

      Public
      A fast, zkVM-friendly SSZ library for Ethereum
      Rust
      •
      Apache License 2.0
      •2•10•8•3•Updated Mar 31, 2026Mar 31, 2026

    • concrete

      Public
      Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.
      programming-languagemlir
      programming-languagemlir
      LLVM
      •
      Apache License 2.0
      •20•321•84•11•Updated Mar 31, 2026Mar 31, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.