Starred repositories
ethdebug.py is a debugger-side implementation of the EthDebug format
Project Management: Meeting notes and agenda items
just solve it - a CLI utility to run a portfolio of SMT solvers in parallel
🔬 A fast, interactive web-based viewer for performance profiles.
This is the Solar Space monorepo. It holds the code of the solarspace.dev platform, the corresponding VSCode extension and deployment scripts.
The Solar Space devcontainer focused on ease-of-use, accessiblity and great DevEx.
Solidity language support & local node testing for VS Code
VSCode extension for debugging Solidity using Simbolik API server
The Red Guild's devcontainer focused in web3 and security.
A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems
gitpod-io / openvscode-server
Forked from microsoft/vscodeRun upstream VS Code on a remote machine with access through a modern web browser from any device, anywhere.
Solidity Package Manager written in rust and integrated into Foundry (forge soldeer ...)
Wake is a Python-based Solidity development and testing framework with built-in vulnerability detectors
AI-Powered Formal Software Verification
Ethereum solidity graph plain debugger. To have the whole picture when debugging.
A tool for analyzing the security and parameters of a solidity smart contract
A forkable template repo for easily writing and testing toy contracts
Abstraction layer for smart contract build systems
A Python implementation of the Ethereum Virtual Machine
A python interface for interacting with the Ethereum blockchain and ecosystem.
Tool suite for testing ethereum applications.
ethpwn - the Swiss Army Knife for Smart Contract Hacking
A symbolic execution engine for EVM smart contract binaries.