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 25 2

  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 8 1

Repositories

Showing 10 of 382 repositories
  • libssz Public

    Blazing fast SSZ library in Rust with no-std support

    lambdaclass/libssz’s past year of commit activity
    Rust 0 Apache-2.0 0 7 4 Updated Mar 18, 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 12 Updated Mar 18, 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 18, 2026
  • stablecoin Public

    Stablecoin Operations

    lambdaclass/stablecoin’s past year of commit activity
    TypeScript 2 0 13 5 Updated Mar 17, 2026
  • hive-ui Public Forked from ethpandaops/hive-ui

    Web UI for Ethereum Hive

    lambdaclass/hive-ui’s past year of commit activity
    TypeScript 0 GPL-3.0 4 0 0 Updated Mar 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.

    lambdaclass/tekton’s past year of commit activity
    TypeScript 8 1 52 9 Updated Mar 17, 2026
  • 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 17, 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 35 8 Updated Mar 17, 2026
  • vr1cs_lean Public
    lambdaclass/vr1cs_lean’s past year of commit activity
    Lean 0 0 0 0 Updated Mar 17, 2026
  • amo_lean Public

    Verified Optimizing Compiler for Cryptographic Primitives

    lambdaclass/amo_lean’s past year of commit activity
    Lean 25 MIT 2 0 0 Updated Mar 17, 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.