JoranHonig

vertigo

Mutation Testing for Ethereum Smart Contracts

tree-sitter-solidity

Solidity grammar for tree sitter

awesome-web3-ai-security

tree-sitter-cairo

A tree-sitter-grammar for cairo 1.0

uniswap-v2-core

🎛 Core smart contracts of Uniswap V2

bh

tarantula

Implementation of the tarantula fault localisation algorithm

python-tree-sitter-types

Generate python types for tree-sitter parsers

cairolyze

langflow

cairo-contracts

OpenZeppelin Contracts written in Cairo for StarkNet, a decentralized ZK Rollup

echidna

Ethereum smart contract fuzzer

fei-protocol-core

Smart contract code for Fei Protocol

theorem_proving_in_lean4

Theorem Proving in Lean 4

akropolis

💥 Akropolis+Yearn

aoc2022

BarnBridge-SmartExposure

Blockchain-Developer-Bootcamp

Open-source version of ConsenSys Academy's Blockchain Developer Bootcamp

BTC-Plus

cachetools-redis

yet another cachetools redis integration

code423n4.com

code423n4.com source code

dgrants

Decentralized Grant platform that implements quadratic funding.

geb-safe-saviours

GEB saviours and interfaces

linea-contracts

Linea smart-contracts

mini-me

nvim-treesitter

Nvim Treesitter configurations and abstraction layer

pydantic-sarif

slitherin

Slither Detectors by Pessimistic.io

staking-contracts

trufflesuite.com

Truffle Suite website source