Stars
Solidity transient storage that's mutable from within a `STATICCALL`
Vault Bridge Token is the core of the Vault Bridge protocol. Built from the ground up to be reusable, it offers complete functionality out of the box, allowing you to create vbTokens in just a few …
Smart contracts for on-chain anonymous settlement.
A lock-free, eventually consistent, concurrent multi-value map.
Fast web applications through dynamic, partially-stateful dataflow
Lightweight coding agent that runs in your terminal
A Solidity library designed to cram as many arbitrary values into as small a space as possible.
An experimental MCP Server for foundry built for Solidity devs
Reveal unused code of a live smart contract by collecting coverage from historical transactions.
A hyper gas optimized and formally verified smart contract, written in huff. 🐎
Go implementation of the Ethereum protocol
Efficient Type Driven Smart Contract Interactions
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
A simple and easy-to-use language and compiler for querying blockchain data.
Ethers extension for a multicall-based provider to batch calls.
Generate tests based on the Branching Tree Technique.
Uses magic (zk) to distribute gifts (rewards) to kids (validators)