rakita

rakita's Stars

• oven-sh/bun

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

  Language:Zig74.5k5959.5k2.8k

• aristocratos/btop

  A monitor of resources

  Language:C++21.3k115623652

• lunatic-solutions/lunatic

  Lunatic is an Erlang-inspired runtime for WebAssembly

  Language:Rust4.6k7180137

• risc0/risc0

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

  Language:C++1.7k50541429

• ethereum/yellowpaper

  The "Yellow Paper": Ethereum's formal specification

  Language:TeX1.7k104236513

• google/zerocopy

  Language:Rust1.6k12463105

• LouisBrunner/valgrind-macos

  A valgrind mirror with latest macOS support

  Language:C1.2k286260

• gnolang/gno

  Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.

  Language:Go900761k377

• paradigmxyz/rivet

  Developer Wallet & DevTools for Anvil

  Language:TypeScript843154772

• informalsystems/quint

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

  Language:TypeScript8292370235

• privacy-scaling-explorations/zkevm-circuits

  Language:Rust81739740856

• tikv/minitrace-rust

  Extremely fast tracing library for Rust

  Language:Rust740167849

• cometbft/cometbft

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

  Language:Go64820938477

• LeastAuthority/moonmath-manual

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

  Language:TeX518133690

• ralexstokes/mev-rs

  a gateway to a network of block builders

  Language:Rust419145377

• risc0/zeth

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

  Language:Rust383192369

• ethereum/hevm

  symbolic EVM evaluator

  Language:Haskell2381216748

• 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:Rust143415

• ethereum-optimism/asterisc

  RISC-V interactive fraud-proof tech

  Language:Go9891115

• PaulRBerg/rust-template

  A template for developing Rust projects, with sensible defaults

  Language:Rust85404

• anton-rs/cannon-rs

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

  Language:Rust5951210

• primitivefinance/arbiter-template

  Minimal template for simulating contracts with arbiter.

  Language:Rust45654

• ultrasoundmoney/reth-payload-validator

  Reth rpc api extension to enable block validation

  Language:Rust403911

• DaniPopes/const-hex

  Fast byte array to hex string conversion

  Language:Rust37217

• powdr-labs/powdr-revme

  powdr application running Ethereum tests via revm

  Language:Rust16705

• pawanjay176/kzg_rust

  Rust port of c-kzg-4844

  Language:Rust15101

• Determinant/qevm

  Language:Rust410

• 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.

  Language:Rust300

• ava-labs/qevm

  Language:Rust2301

• Evalir/rust

  Empowering everyone to build reliable and efficient software.

  Language:Rust110