rakita

rakita's Stars

• cometbft/cometbft

  CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.

  Language:Go646475

• informalsystems/quint

  An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

  Language:TypeScript82934

• ralexstokes/mev-rs

  a gateway to a network of block builders

  Language:Rust42077

• ava-labs/qevm

  Language:Rust21

• Determinant/qevm

  Language:Rust4

• aristocratos/btop

  A monitor of resources

  Language:C++21.2k649

• google/zerocopy

  Language:Rust1.6k105

• DaniPopes/const-hex

  Fast byte array to hex string conversion

  Language:Rust377

• pawanjay176/kzg_rust

  Rust port of c-kzg-4844

  Language:Rust151

• anton-rs/cannon-rs

  An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.

  Language:Rust5910

• Evalir/rust

  Empowering everyone to build reliable and efficient software.

  1

• ethereum/hevm

  symbolic EVM evaluator

  Language:Haskell23848

• valo/jitevm

  convert evm bytecode to native machine code and go vroom - just an experiment, probably broken, reach out to georgios@paradigm.xyz to contribute / productionize.

  3

• LouisBrunner/valgrind-macos

  A valgrind mirror with latest macOS support

  Language:C1.2k59

• oven-sh/bun

  Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

  Language:Zig74.4k2.8k

• LeastAuthority/moonmath-manual

  A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.

  Language:TeX51690

• paradigmxyz/jitevm

  convert evm bytecode to native machine code and go vroom - just an experiment, probably broken, reach out to georgios@paradigm.xyz to contribute / productionize.

  Language:Rust1435

• ethereum/yellowpaper

  The "Yellow Paper": Ethereum's formal specification

  Language:TeX1.7k513

• powdr-labs/powdr-revme

  powdr application running Ethereum tests via revm

  Language:Rust165

• risc0/risc0

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

  Language:C++1.7k429

• paradigmxyz/rivet

  Developer Wallet & DevTools for Anvil

  Language:TypeScript84072

• anthias-labs/arbiter-template

  Minimal template for using the Arbiter framework for simulations.

  Language:Rust454

• risc0/zeth

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

  Language:Rust38168

• zink-lang/zink

  Rustic programming language that targets the Ethereum Virtual Machine

  Language:Rust1276

• DaniPopes/c-kzg-4844

  Minimal 4844 version of c-kzg

  4

• ethpandaops/ethereum-package

  A Kurtosis package that deploys a private, portable, and modular Ethereum devnet

  Language:Starlark260151

• kurtosis-tech/kurtosis

  A platform for packaging and launching ephemeral backend stacks with a focus on approachability for the average developer.

  Language:Go38455

• drahnr/cargo-spellcheck

  Checks all your documentation for spelling and grammar mistakes with hunspell and a nlprule based checker for grammar

  Language:Rust32633

• OffchainLabs/sszpp

  C++ SSZ library

  Language:C++263

• paradigmxyz/cryo

  cryo is the easiest way to extract blockchain data to parquet, csv, json, or python dataframes

  Language:Rust1.2k114