Stamp9

supervenn

supervenn: precise and easy-to-read multiple sets visualization in Python

defi-minimal

This repo is dedicated to making minimal repos of existing defi primatives.

simple-security-toolkit

A collection of practical security-focused guides and checklists for smart contract development

flashbots-docs

kobo-annotations-to-md

Get higlights from your Kobo into a Markdown format

wisecreator

Utility for adding word wise information to non amazon books

Blockchain-Security-Library

A library of blockchain security resources for various categories in blockchain.

erigon

Ethereum implementation on the efficiency frontier https://erigon.gitbook.io

ultimate_evm_tracing_reference

a collection of EVM tracing information for easy reference

Solidity-DevSecOps-Standard

A checklist detailing DevSecOps practices for EVM-based projects.

sandwich-101

openchain-monorepo

dshackle

Fault Tolerant Load Balancer for Ethereum and Bitcoin APIs

SpeedRunEthereum

speedrunethereum.com 🏃‍♀️

cs-self-learning

计算机自学指南

koreader

An ebook reader application supporting PDF, DjVu, EPUB, FB2 and many more formats, running on Cervantes, Kindle, Kobo, PocketBook and Android devices

jpf-core

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

zupass

Zuzalu Passport

gastoken

⛽ Tokenize gas on Ethereum with GasToken ⛽

spoon

Spoon is a metaprogramming library to analyze and transform Java source code. :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.

SecretReviewer

SecretReviewer is a strategic board game that simulates the academic peer review process, challenging players to navigate the complexities of publishing scientific papers while assuming hidden roles with varying objectives.

glowroot

Easy to use, very low overhead, Java APM

pygwalker

PyGWalker: Turn your pandas dataframe into an interactive UI for visual analysis

SmartContractDesignPatternsInDCRGraphs

A Comprehensive Collection of DCR Graph Model of High-Level Design Patterns in Smart Contracts

wallet-guard-extension

A browser extension for detecting phishing attacks on crypto wallets

gumtree

An awesome code differencing tool

TIPS

Web3Bugs

Demystifying Exploitable Bugs in Smart Contracts

capslock

pdm

A modern Python package and dependency manager supporting the latest PEP standards