LLM Wiki is a cross-platform desktop application that turns your documents into an organized, interlinked knowledge base — automatically. Instead of traditional RAG (retrieve-and-answer from scratc…

Copy any UI element for your agent

Multi-repo background coding agent orchestrator: a local daemon spins up git worktrees and drives claude/codex CLI workers through a SPEC→PLAN→TEST→IMPL⇄REVIEW→PR pipeline.

A fuzzer for ML compilers

Scoped Thread Local Storage for Rust

Your agent writes bad React. This catches it

A CLI tool to extract the graph of derivations from a Nix flake.

An implementation of a full fledged Lisp interpreter with Data Structure, Pattern Programming and High level Functions with Lazy Evaluation à la Haskell.

the LLM vulnerability scanner

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Formally Verified Arguments of Knowledge in Lean

A lightweight ActivityPub server framework in Rust

Terminal-based but modern tetromino-stacking game that is customizable and cross-platform.

A GPU-rendered terminal emulator with inline 3D graphics 🐀🧀

gno <> union integration

The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.

[WIP] Unified API for ActivityPub-compatible server applications.

KLEE Symbolic Execution Engine

Apache DataFusion SQL Query Engine

Warp is an agentic development environment, born out of the terminal.

Copy Fail (CVE-2026-31431): 9-year-old Linux kernel LPE found by Theori's Xint Code

🇰🇷 Korean language skills for AI agents

Python open source vulnerability scanner

Skills for Real Engineers. Straight from my .claude directory.

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

Architecture decision record (ADR) examples for software planning, IT leadership, and template documentation