Lists (13)
Starred repositories
A small repository containing the TeX code for the Succinct Proofs and Linear Algebra study session's slides and homework
A simple package with CLI for proving off-chain point in time custody of an Etherem account
Bayesian inference with probabilistic programming.
Apibara is the fastest platform to build production-grade indexers that connect onchain data to web2 services.
A Model Context Protocol (MCP) server that provides integration with rust-analyzer
Client library for Flashbots MEV-share Matchmaker.
A collection of possible group templates for Circles groups
A Claude Code plugin that automatically captures everything Claude does during your coding sessions, compresses it with AI (using Claude's agent-sdk), and injects relevant context back into future …
Graph-aware monorepo orchestration for Rust workspaces
A list of Free Software network services and web applications which can be hosted on your own servers
💻Build one codebase and get native UI on Windows, Linux and Web
A language server for Zig supporting developers with features like autocomplete and goto definition
Implementation of the Google Zero-Knowledge library for Identity Protocols.
🦀 Prevents outdated Rust code suggestions from AI assistants. This MCP server fetches current crate docs, uses embeddings/LLMs, and provides accurate context via a tool call.
Official coordination repository for Starknet All Core Devs meetings. Comprehensive meeting notes, agendas, and technical discussions for Starknet protocol development.
Curated list of awesome stuff built on & with iroh
Lightweight indexer for CCA auctions using Ponder
Build production-ready applications in TypeScript