Evm laboratory

Polkadot ink! fuzzer

The Red Guild's devcontainer focused in web3 and security.

convert evm bytecode to native machine code and go vroom - just an experiment, probably broken, reach out to [email protected] to contribute / productionize.

Various materials about Profile Guided Optimization and other similar stuff like AutoFDO, Bolt, etc.

Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)

Overview of the formal verification projects in the Ethereum ecosystem.

A smart contract security search utility

Symbolic stack CFG generator for EVM

Reproduce DeFi hacked incidents using Foundry.

A chronological and (hopefully) complete list of reentrancy attacks to date.

Diff your Github against Etherscan.

A binary lifter and analysis framework for Ethereum smart contracts

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

Solidity LSP server written in rust

Solidity compiler tooling by @NomicFoundation

rust bindings of snmalloc

Async binding for Tungstenite, the Lightweight stream-based WebSocket implementation

Research programming language for concurrent ownership

**DEPRECATED** in favor of github.com/microsoft/windows-rs

Alternative rust compiler (re-implementation)

Object based cross-language FFI for Rust

A wide string Rust library for converting to and from wide-character strings, including UTF-16 and UTF-32 encoding.

A unit test-like interface for fuzzing and symbolic execution

Symbol REPL

Use Touch ID / Secure Enclave for SSH Authentication!

rust ssh agent library

💫 Industrial-strength Natural Language Processing (NLP) in Python