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 an experimental 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

🚂 🦀 The one-person framework for Rust for side-projects and startups

An easy-to-use Rust framework for building robust and performant APIs

Compaction-Less Database Optimized for Efficiently Storing Recent Merkleized Blockchain State

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

A modular stack for zkVMs, with a focus on productivity, security and performance.

Python toolkit for quantitative finance

intention lock conditional state library for the EVM

A curated and opinionated list of resources for Chief Technology Officers, with the emphasis on startups

📚 List of awesome university courses for learning Computer Science!

The math library of Lean 4