Validate and Run GitHub Actions locally.

An index repository with submodules for different examples of Certora projects

A Foundry template to compile and test Vyper contracts.

Yearn Vault smart contracts

The new huff compiler, with improved codegen, label semantics & error messages.

Hierarchical Reasoning Model Official Release

Stablecoin powered by LLAMMAs

The best smart contracts in one place.

huff-neo marks a new dawn for the once-abandoned huff-rs, breathing fresh life into its legacy.

The Ajna protocol is a non-custodial, peer-to-peer, permissionless lending, borrowing and trading system that requires no governance or external price feeds to function.

bluetooth mesh chat, IRC vibes

Here we discuss how one can investigate crypto hacks and security incidents, and collect all the possible tools and manuals! PRs are welcome! If any tool is missing - please open PR!

Malloy is a modern open source language for describing data relationships and transformations.

The Systematic Philosophy Platform🦉

Logical manifestations of topological concepts, and other things, via the univalent point of view.

Opinionated Rust implementation of the Uniswap V3 SDK with a focus on readability and performance

A list of MEV resources with a focus on past research papers/talks.

An Execution Abstraction framework that allows apps, frontends, and oracles to fulfill their users' intents and retain their users' MEV by running auctions that match User Operations with Solver Op…

Fractal Graph-of-Thought. Rhizomatic Mind-Mapping for Ai-Agents, Web-Links, Notes, and Code.

MEV Auction and Ethereum Network Data Schemas

A public goods project aimed at supporting developers in exploring and contributing to the Nervos CKB ecosystem. CookCKB provides a collection of example projects, each showcasing key functionaliti…

A curated list of awesome Racket frameworks, libraries and software, maintained by Community

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

Clarabel.rs: Interior-point solver for convex conic optimisation problems in Rust.

Next Generation Visual Programming System

Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.

Implementation of the Farcaster Hub specification and supporting libraries for building applications on Farcaster

Simple module to control a Safe via crosschain calls with Hashi

A decentralized network for sharing offers across the Chia ecosystem

Rust implementation of Noise