Stars
A search engine for Lean 4 declarations
📄 Configuration files that enhance Cursor AI editor experience with custom rules and behaviors
Generic sequencer interface for modular blockchains
A library for encoding blobs into a 2D square of evenly sized chunks designed for sampling and reconstruction
A STARK-based VM focused on code reuse, performance, and modularity
A modular framework for building performant networks, pushing the boundary of today in order to build the apps of tomorrow.
Opinionated security and code quality standard for Solidity smart contracts.