MdTeach

MdTeach's Stars

• twitter/the-algorithm

  Source code for Twitter's Recommendation Algorithm

  Language:Scala62.6k34397412.2k

• nektos/act

  Run your GitHub Actions locally 🚀

  Language:Go56.4k1671.2k1.4k

• Stability-AI/StableLM

  StableLM: Stability AI Language Models

  Language:Jupyter Notebook15.8k201761k

• NixOS/nix

  Nix, the purely functional package manager

  Language:C++13.2k1176.3k1.6k

• matter-labs/zksync

  zkSync: trustless scaling and privacy engine for Ethereum

  Language:Rust4.9k1763502.7k

• misprit7/computerraria

  A fully compliant RISC-V computer made inside the game Terraria

  Language:Rust3.5k20444

• benbjohnson/thesecretlivesofdata

  Understanding what your bits do when you're not looking.

  Language:JavaScript3.5k18749328

• a16z/helios

  A fast, secure, and portable multichain light client for Ethereum

  Language:Rust1.9k28141319

• risc0/risc0

  RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

  Language:C++1.7k52552460

• succinctlabs/sp1

  The fastest, most feature-complete zkVM for developers.

  Language:Rust1.1k41132377

• kkrt-labs/kakarot

  Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

  Language:Cairo1k23620321

• facebook/winterfell

  A STARK prover and verifier for arbitrary computations

  Language:Rust8122897193

• a16z/jolt

  The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

  Language:Rust71131133172

• a16z/magi

  A blazing fast OP Stack rollup client written in Rust

  Language:Rust6122069103

• keep-starknet-strange/madara

  DEPRECATED in favor of https://github.com/madara-alliance/madara

  Language:Rust53811572292

• Plonky3/Plonky3

  A toolkit for polynomial IOPs (PIOPs)

  Language:Rust5173374217

• risc0/zeth

  A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM

  Language:Rust391212577

• arkworks-rs/poly-commit

  A Rust library for polynomial commitments

  Language:Rust3512435137

• valida-xyz/valida

  A STARK-based VM focused on code reuse, performance, and modularity

  Language:Rust303134352

• matter-labs/era-boojum

  Boojum, the scariest SNARK implementation.

  Language:Rust30123885

• starkware-libs/stone-prover

  Language:C++261102178

• starkware-libs/stwo

  Language:Rust25610992

• recmo/uint

  Rust Uint crate using const-generics

  Language:Rust176619347

• starkware-libs/blockifier

  Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.

  Language:Rust1721245108

• gizatechxyz/orion

  ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK

  Language:Cairo166825383

• 0xPolygonMiden/air-script

  A domain-specific language for writing AIR constraints for STARKs

  Language:Rust77714616

• 0xPolygonMiden/miden-base

  Core components of the Polygon Miden rollup

  Language:Rust741633551

• 0xPolygonMiden/compiler

  Compiler from MidenIR to Miden Assembly

  Language:Rust661316423

• matter-labs/era-compiler-llvm

  ZKsync fork of the LLVM framework.

  Language:C++3388117

• KasarLabs/deoxys-fork

  Deoxys 👽 is a Starknet full node based on substrate and powered by Rust 🦀

  Language:Rust273758