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 184

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

    Verified Optimizing Compiler for Cryptographic Primitives

    Lean 27 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 12 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 184 588 (41 issues need help) 193 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 12 1 54 8 Updated Mar 19, 2026
  • actions Public

    Reusable GitHub Actions workflows for lambdaclass organization

    lambdaclass/actions’s past year of commit activity
    2 0 0 0 Updated Mar 18, 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…