Skip to content
@lambdaclass

Lambdaclass

A venture studio and a engineering powerhouse at the same time

Pinned

  1. 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 120 9

  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 575 121

  3. lambda_ethereum_consensus lambda_ethereum_consensus Public

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

    Elixir 86 31

  4. cairo-vm 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, where one party can prove to another th…

    Rust 485 130

  5. champions_of_mirra champions_of_mirra Public

    Curse of Mirra game codebase

    C# 42 4

  6. lambdaclass_hacking_learning_path lambdaclass_hacking_learning_path Public

    LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!

    177 26

Repositories

Showing 10 of 273 repositories
  • 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, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

    lambdaclass/cairo-vm’s past year of commit activity
    Rust 485 Apache-2.0 130 15 13 Updated Jun 25, 2024
  • evm_mlir Public

    An EVM written with MLIR

    lambdaclass/evm_mlir’s past year of commit activity
    Rust 53 MIT 8 55 17 Updated Jun 25, 2024
  • 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 86 Apache-2.0 31 94 (10 issues need help) 6 Updated Jun 25, 2024
  • o1js Public Forked from o1-labs/o1js

    TypeScript framework for zk-SNARKs and zkApps

    lambdaclass/o1js’s past year of commit activity
    TypeScript 0 Apache-2.0 107 0 1 Updated Jun 25, 2024
  • ethrex Public

    Lambda Ethereum Rust Execution client

    lambdaclass/ethrex’s past year of commit activity
    Rust 25 Apache-2.0 1 38 4 Updated Jun 24, 2024
  • champions_of_mirra Public

    Curse of Mirra game codebase

    lambdaclass/champions_of_mirra’s past year of commit activity
    C# 42 Apache-2.0 4 116 19 Updated Jun 24, 2024
  • cairo_native Public

    A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.

    lambdaclass/cairo_native’s past year of commit activity
    Rust 108 Apache-2.0 40 33 (4 issues need help) 21 Updated Jun 24, 2024
  • mirra_backend Public

    Multiplayer 2D physics engine, matchmaking, market and leaderboard for 2D and 3D Games

    lambdaclass/mirra_backend’s past year of commit activity
    Elixir 24 Apache-2.0 5 83 18 Updated Jun 24, 2024
  • era_vm Public

    EraVM implementation

    lambdaclass/era_vm’s past year of commit activity
    Rust 1 MIT 0 12 6 Updated Jun 24, 2024
  • 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 575 Apache-2.0 121 65 (5 issues need help) 35 Updated Jun 24, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…