Skip to content
@lambdaclass

Lambdaclass

Lambda is a deep tech venture studio blending research and engineering, with global offices and expertise from cryptotgraphy, distributed systems and compilers

Pinned Loading

  1. ethrex ethrex Public

    Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.

    Rust 858 179

  2. lambdaworks lambdaworks Public

    lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

    Rust 726 190

  3. concrete concrete Public

    Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.

    Rust 319 20

  4. amo_lean amo_lean Public

    Verified Optimizing Compiler for Cryptographic Primitives

    Lean 24 1

  5. stabileo stabileo Public

    Open-source 2D & 3D structural analysis in the browser. Direct Stiffness Method, real-time solving, no installation required.

    Rust 24 2

  6. tekton 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 7 1

Repositories

Showing 10 of 378 repositories
  • ethrex Public

    Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.

    lambdaclass/ethrex’s past year of commit activity
    Rust 858 Apache-2.0 179 588 (42 issues need help) 195 Updated Mar 16, 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 performant implementation.

    lambdaclass/ethlambda’s past year of commit activity
    Rust 72 MIT 13 33 7 Updated Mar 16, 2026
  • stablecoin Public

    Stablecoin Operations

    lambdaclass/stablecoin’s past year of commit activity
    TypeScript 2 0 13 4 Updated Mar 16, 2026
  • stabileo Public

    Open-source 2D & 3D structural analysis in the browser. Direct Stiffness Method, real-time solving, no installation required.

    lambdaclass/stabileo’s past year of commit activity
    Rust 24 AGPL-3.0 2 0 8 Updated Mar 16, 2026
  • lambdaworks Public

    lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

    lambdaclass/lambdaworks’s past year of commit activity
    Rust 726 Apache-2.0 190 82 (3 issues need help) 21 Updated Mar 16, 2026
  • lambda_ethereum_consensus Public

    Elixir implementation of an Ethereum consensus client, which offers high reliance & fault tolerance

    lambdaclass/lambda_ethereum_consensus’s past year of commit activity
    Elixir 108 Apache-2.0 42 127 (19 issues need help) 13 Updated Mar 16, 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.

    lambdaclass/tekton’s past year of commit activity
    TypeScript 7 1 53 7 Updated Mar 16, 2026
  • miden-base Public Forked from 0xMiden/protocol

    Core components of the Polygon Miden rollup

    lambdaclass/miden-base’s past year of commit activity
    Rust 1 MIT 124 0 0 Updated Mar 16, 2026
  • spawned Public

    A Rust library for decoupling concurrency from application logic, following the model used by Erlang and the BEAM VM

    lambdaclass/spawned’s past year of commit activity
    Rust 27 MIT 5 24 1 Updated Mar 13, 2026
  • ethrex-replay Public

    Ethereum re-execution tool, powered by ethrex

    lambdaclass/ethrex-replay’s past year of commit activity
    Elixir 8 MIT 1 15 6 Updated Mar 13, 2026
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.