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 859 185

  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 727 189

  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. truth_research_zk truth_research_zk Public

    Verified Optimizing Compiler for Cryptographic Primitives

    Lean 29 2

  5. stabileo stabileo Public

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

    Rust 25 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 13 1

Repositories

Showing 10 of 382 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 859 Apache-2.0 185 588 (41 issues need help) 194 Updated Mar 23, 2026
  • truth_research_zk Public

    Verified Optimizing Compiler for Cryptographic Primitives

    lambdaclass/truth_research_zk’s past year of commit activity
    Lean 29 MIT 2 0 0 Updated Mar 23, 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 25 AGPL-3.0 2 0 4 Updated Mar 23, 2026
  • stablecoin Public

    Stablecoin Operations

    lambdaclass/stablecoin’s past year of commit activity
    TypeScript 2 0 13 6 Updated Mar 22, 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 22, 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-based timing research.

    lambdaclass/options_portfolio_backtester’s past year of commit activity
    Python 201 MIT 32 4 3 Updated Mar 21, 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 14 35 (2 issues need help) 10 Updated Mar 20, 2026
  • libssz Public

    A fast, zkVM-friendly SSZ library for Ethereum

    lambdaclass/libssz’s past year of commit activity
    Rust 4 Apache-2.0 0 7 0 Updated Mar 20, 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 727 Apache-2.0 189 82 (3 issues need help) 20 Updated Mar 20, 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 13 1 54 8 Updated Mar 19, 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.

Most used topics

Loading…