Magit for VSCode

Prove functional correctness of Ethereum smart contracts in higher-order logic

A categorized list of C++ resources.

Pythonic Smart Contract Language for the EVM

Python pipe command line tool

Vyperlang compiler fuzzer

Hide secrets in your Obsidian.md vault

Nim implementation of the Ethereum Beacon Chain

A curated list of amazing Fully Homomorphic Encryption (FHE) resources created by the team at Zama.

Here we collect and discuss the best DeFI & Blockchain researches and tools. Feel free to DM me on Twitter or open pool request.

A Vyper compiler in Coq (just started)

Fuzz testing framework for Uniswap V4 Hooks

CLI platform to experiment with codegen. Precursor to: https://lovable.dev

A low-level assembly language for the Ethereum Virtual Machine built in blazing-fast pure rust.

Wake is a Python-based Solidity development and fuzz testing framework with built-in vulnerability detectors for building secure Ethereum dApps.

😎 Curated list of awesome resources on Compilers, Interpreters and Runtimes

A list of Reverse Engineering articles, books, and papers

A curated list of awesome reversing resources

Spacemacs' like key bindings for IntelliJ platform.

Spike, a RISC-V ISA Simulator

weird erc20 tokens

This is a Excel Addin that provide vim-like interface.

A collection of links, research papers, tools, researchers, events, ... every web3 follower should know.

Menubar Tool to set Charge Limits and Prolong Battery Lifespan

Python wrapper around https://github.com/bluealloy/revm/ using PyO3

A set of utilities for exploring Solidity contracts

A curated list of fuzzing resources ( Books, courses - free and paid, videos, tools, tutorials and vulnerable applications to practice on ) for learning Fuzzing and initial phases of Exploit Develo…

Org sync with Google Calendar. (active maintained project as of 2019-11-06)

A curated list of awesome ZK resources, libraries, tools and more.

An interactive Solidity Shell