JoranHonig

vertigo. Mutation Testing for Ethereum Smart Contracts

tree-sitter-solidity. Solidity grammar for tree sitter

awesome-web3-ai-security.

uniswap-v2-core. 🎛 Core smart contracts of Uniswap V2

tree-sitter-cairo. A tree-sitter-grammar for cairo 1.0

bh. Python

tarantula. Implementation of the tarantula fault localisation algorithm

shard. Security analysis tool - Light Mythril Platform

python-tree-sitter-types. Generate python types for tree-sitter parsers

langflow. Python

publications.

cairolyze. Python

fei-protocol-core. Smart contract code for Fei Protocol

theorem_proving_in_lean4. Theorem Proving in Lean 4

echidna. Ethereum smart contract fuzzer

cairo-contracts. OpenZeppelin Contracts written in Cairo for StarkNet, a decentralized ZK Rollup

go-libp2p. libp2p implementation in Go

advent-of-code-2024. Rust

permissioning-smart-contracts. Smart contracts for the Besu permissioning system