Rano | Ranadeep

frame. FFmpeg GUI

ponytail. Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote.

chamelean. Property-based testing for Lean via metaprogramming

plausible. Lean

autoresearch. AI agents running research on single-GPU nanochat training automatically

Strata. Lean

iptv. Collection of publicly available IPTV channels from all over the world

kitqat. A toolkit of quantum utilities and algorithms built on top of myQLM's QAT framework.

verity. Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.

ironclaw. IronClaw is an Agent OS focused on privacy, security and extensibility

Lean-blaster. SMT-based reasoning core for Lean4

lean-aristotle-mcp. Python

openfang. Open-source Agent Operating System

zeroclaw. Fast, small, and fully autonomous AI personal assistant infrastructure, any OS, any platform — deploy anywhere, swap anything 🦀

ronly. Rust

cliamp. cliamp - Terminal music player inspired by winamp

repoprover. Research code base for Automatic Textbook Formalization

mathcode. MathCode: A Frontier Mathematical Coding Agent

openprover. Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.

aeneas. A verification toolchain for Rust programs

veil. A verifier for automated and interactive proofs about transition systems.

specl. A modern specification language and model checker for concurrent and distributed systems. Faster than TLA+/TLC.

oh-my-openagent. omo/lazycodex: The coding agent for tokenmaxxers;the one and only agent harness for complex codebases. For your Codex, for your OpenCode

oh-my-claudecode. Teams-first Multi-agent orchestration for Claude Code

beads. Beads - A memory upgrade for your coding agent

letta-code. Stateful agents that are like people, with memory, identity, and the ability to learn and adapt

yolobox. Let your AI go full send. Your home directory stays home.

flash-linear-attention. 🚀 Efficient implementations for emerging model architectures

skills. A collection of skills for AI coding agents from Semgrep

grimoire. [Legendary artifact] The Soul Grimoire - used for the summoning of souls

12-factor-agents. What are the principles we can use to build LLM-powered software that is actually good enough to put in the hands of production customers?

opencode. The open source coding agent.

herluf-ba.github.io. HTML

figurehead-rs. A simple Mermaid diagram to ASCII converter in Rust

beautiful-mermaid. TypeScript

mermaid-ascii. Render Mermaid graphs inside your terminal

plannotator. Annotate and review coding agent plans and code diffs visually, share with your team, send feedback to agents with one click.

awesome-opencode. A curated list of awesome plugins, themes, agents, projects, and resources for https://opencode.ai

swarm-tools. 🐝 Multi-agent swarm coordination for OpenCode with learning capabilities, agent issue tracking, and management

opencode-swarm. Architect-centric agentic swarm plugin for OpenCode. Hub-and-spoke orchestration with SME consultation, code generation, and QA review.

IPTV. M3U Playlist for free TV channels

starknet-p2p-specs. Specification of P2P protocol for StarkNet nodes

cairo-sha256. Computes SHA256 of arbitrary length inputs.

stwo-cairo. Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.

anon-aadhaar. Anon Aadhaar is a zero-knowledge protocol that allows Aadhaar ID owners to prove their identity in a privacy preserving way.

trackerslist. Updated list of public BitTorrent trackers

libmcaptcha. core library of mCaptcha a PoW based CAPTCHA system

composable-ibc. A trustless, cross-chain bridging protocol.

md-badges. An extensive list of Shields.io badges.

malachite. Flexible BFT consensus engine in Rust

researcher. A jekyll based resume template

the-monospace-web. A minimalist design exploration

typescribe-handwriting. ⚡ Create handwritten documents from text with a Neural Network!

harper. Offline, privacy-first grammar checker. Fast, open-source, Rust-powered

gitbutler. The GitButler version control client, backed by Git, powered by Tauri/Rust/Svelte

bananas. Bananas🍌, Cross-Platform screen 🖥️ sharing 📡 made simple ⚡.

official_joke_api. Official Joke API!

Paprika. A custom storage engine of Nethermind, benefiting from the alignment of the underlying data structure with the layout of State & Storage trees of Ethereum.

ibc-middleware. IBC middleware implementations, augmenting ibc-rs

gears. A Rust implementation of the Cosmos SDK

zizmor. Static analysis for GitHub Actions

vf2. VF2 subgraph isomorphism algorithm in Rust.

paper-qa. High accuracy RAG for answering questions from scientific documents with citations

molt. Update dependencies the Deno way

solidity-ibc-eureka. This is a solidity implementation of IBC v2.

testing-distributed-systems. Curated list of resources on testing distributed systems

GhostWrite. Proof-of-concept for the GhostWrite CPU bug.

cainome. A library to generate bindings from Cairo ABI.

public-apis. A collective list of free APIs

lossless-json. Parse JSON without risk of losing numeric information

sp1-ics07-tendermint. This is a zero knowledge IBC tendermint light client written using SP1 and ibc-rs (WIP)

established-remote. A list of established remote companies

bashtestmd. Rust

VossII. The source code to the Voss II Hardware Verification Suite

generatore-tipografico-di-liberta. Python

ibc-rs. Rust implementation of the Inter-Blockchain Communication (IBC) protocol.

apalache. APALACHE: symbolic model checker for TLA+ and Quint

cargo-grammarly. Check the doc comments' grammar

tldraw. Build infinite canvas apps in React with the tldraw SDK. World's best, top-most agent recommended #1 five star SDK.

puter. 🌐 The Internet Computer! Free, Open-Source, and Self-Hostable.

LLMLingua. [EMNLP'23, ACL'24] To speed up LLMs' inference and enhance LLM's perceive of key information, compress the prompt and KV-Cache, which achieves up to 20x compression with minimal performance loss.

ollama. Get up and running with Kimi-K2.6, GLM-5.1, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and other models.

music-generation. A music theory library in Rust for generating songs🎶

deno-task-hooks. A simple way to run Deno tasks as Git hooks

unfmt. Compile-time string pattern matching that reverses format! interpolation — a lightweight regex alternative with no runtime compilation cost

verus. Verified Rust for low-level systems code

Benchmarks. MoXI Benchmarks for Symbolic Model Checking

solarkraft. Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache

ascent. Logic programming in Rust

urlexpand. Expand / Unshorten an exhaustive list of Shortened URL's

tlm. Local CLI Copilot, powered by Ollama. 💻🦙

scope-tui. oscilloscope/vectorscope/spectroscope for your terminal

jsr. The open-source package registry for modern JavaScript and TypeScript

simd-scripts. Boilerplate scripts for bootstrapping simd nodes and relayer

fastsmt. Learning to Solve SMT Formulas Fast

absurd-sql. sqlite3 in ur indexeddb (hopefully a better backend soon)

eng-practices. Google's Engineering Practices documentation

stc. Distributed free search engine and AI tools that grant access to knowledge

ra-multiplex. moved to https://codeberg.org/p2502/lspmux

tailcall. High Performance GraphQL Runtime