karmacoma-eth

karmacoma-eth's Stars

• dabeaz-course/python-mastery

  Advanced Python Mastery (course by @dabeaz)

  Language:Python10.7k81361.8k

• readysettech/readyset

  Readyset is a MySQL and Postgres wire-compatible caching layer that sits in front of existing databases to speed up queries and horizontally scale read throughput. Under the hood, ReadySet caches the results of cached select statements and incrementally updates these results over time as the underlying data changes.

  Language:Rust4.3k22551120

• jepsen-io/maelstrom

  A workbench for writing toy implementations of distributed systems.

  Language:Clojure3k2734188

• googleprojectzero/fuzzilli

  A JavaScript Engine Fuzzer

  Language:Swift1.9k68203302

• SunWeb3Sec/DeFiVulnLabs

  To learn common smart contract vulnerabilities using Foundry!

  Language:Solidity1.6k3210276

• d-xo/weird-erc20

  weird erc20 tokens

  Language:Solidity1.4k215171

• poac-dev/poac

  A package manager and build system for C++

  Language:C++1.1k4010272

• trailofbits/eth-security-toolbox

  A Docker container preconfigured with all of the Trail of Bits Ethereum security tools.

  Language:Dockerfile6702927104

• primitivefinance/arbiter

  A blazing-fast Ethereum sandbox that lets developers orchestrate event-driven simulations.

  Language:Rust6691439064

• a16z/jolt

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

  Language:Rust64830109135

• coinbase/solidity-style-guide

  4819635

• SRI-CSL/yices2

  The Yices SMT Solver

  Language:SMT3692537647

• a16z/cicada

  A protocol for private on-chain voting, implemented in Solidity.

  Language:Solidity31611124

• horsefacts/weth-invariant-testing

  Language:Solidity2703246

• 0xNazgul/fuzzydefi

  Pre-built security properties for commonly forked DeFi protocols

  Language:Solidity1944023

• lucas-manuel/invariant-examples

  Language:Solidity1602110

• paradigmxyz/ultimate_evm_tracing_reference

  a collection of EVM tracing information for easy reference

  155638

• maurelian/solidity-sandbox

  A forkable template repo for easily writing and testing toy contracts

  Language:Solidity1443028

• master-keying/minisat

  A minimalistic and high-performance SAT solver

  Language:C++1425516

• Philogy/meth-weth

  The most optimized ERC20 & Wrapped Ether implementation.

  Language:Solidity137418

• chfast/intx

  Extended precision integer C++ library

  Language:C++12883529

• morpho-org/morpho-data-structures

  Data structures tested and used by the Morpho Protocol.

  Language:Solidity11184213

• ethereum/execution-spec-tests

  A Python framework and collection of test cases to generate test vectors for Ethereum execution clients

  Language:Python1051620072

• sbip-sg/CuEVM

  Cuda implementation of EVM bytecode executor

  Language:Cuda866179

• kadenzipfel/function-selector-miner

  Blazingly fast function selector miner written in Rust.

  Language:Rust78201

• cadin/playdate-vscode-template

  VS Code template with tasks for building and running in Playdate simulator.

  Language:Lua673013

• zobront/halmos-solady

  Formally verifying consistency between Solmate and Solady using Halmos

  Language:Solidity49306

• aviggiano/fuzzer-evaluation

  Evaluating fuzzer effectiveness

  Language:Solidity20303

• kmbarry1/fund-eq-of-dai-certora

  Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.

  Language:Solidity15102

• DavePearce/LeanEVM

  A toy implementation of the EVM in Lean4.

  Language:Lean102180