オーナー

lambdaclass

索引済みのリポジトリ 82 件 · GitHub で見る

• ethrex

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

  Rust · スター 897 個

• lambdaworks

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

  Rust · スター 737 個

• lambdaclass_hacking_learning_path

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

  スター 481 個

• concrete

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

  Lean · スター 336 個

• options_portfolio_backtester

  Backtester for evaluating options and equity portfolio strategies over historical data. Includes tools for strategy sweeps, tail-risk hed...

  Python · スター 271 個

• erlings

  Small exercises to get you used to reading and writing Erlang code

  Erlang · スター 188 個

• riak_core_tutorial

  An up to date riak_core tutorial, using basho's riak_core, Erlang/OTP 23-24-25 and rebar3.

  Erlang · スター 150 個

• STARK101-rs

  STARK 101 Workshop in Rust 🐺🦀

  Jupyter Notebook · スター 144 個

• lambda_ethereum_consensus

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

  Elixir · スター 109 個

• finance_playground

  Juypter notebooks playground to explore and analyse economy and finance ideas

  Python · スター 101 個

• mina_bridge

  Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum

  Rust · スター 97 個

• webrtc-server

  Signaling and ICE servers for WebRTC in Erlang

  Erlang · スター 94 個

• ethlambda

  A minimalist and fast Lean Consensus client by LambdaClass, bringing expertise in distributed systems and blockchain infrastructure to de...

  Rust · スター 82 個

• stabileo

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

  Rust · スター 79 個

• mirra_backend

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

  Elixir · スター 77 個

• lambdaworks_stark_platinum

  STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr...

  スター 76 個

• holiday_pinger

  Erlang + ClojureScript app to send holiday reminders

  Erlang · スター 69 個

• libtorrent-rs

  A Rust implementation of the BitTorrent V2 protocol

  Rust · スター 63 個

• erlang-katana

  :ok_hand: erlang grab bag of useful functions. it should have been called swiss army knife but katanas are more deadlier ;)

  Erlang · スター 62 個

• spawned

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

  Rust · スター 59 個

• ほか 62 件のリポジトリは GitHub で見る にあります