Lists (23)
BEAM
2 repositories
blockchain
16 repositories
consensus, crdt, sync
10 repositories
Cool data structures, algorithms
1 repository
cryptography
73 repositories
edu
56 repositories
fun
14 repositories
hackerish
60 repositories
hardware, robotics
99 repositories
homelab
91 repositories
lambda, coc, fp
17 repositories
Lean
274 repositories
local-first
86 repositories
p2p (data structures, dbs)
26 repositories
p2p (networking)
21 repositories
PrettyStuff
37 repositories
sqlite
9 repositories
(unused) 1
(unused) 2
urbit
182 repositories
Utils
29 repositories
WASM
19 repositories
zig
6 repositories
Starred repositories
CLI proxy that reduces LLM token consumption by 78%+. Single Zig binary under 260KB. Zero dependencies.
Architecture, patterns & internals of Anthropic's AI coding agent — reverse-engineered from source maps
Create and share 3D architectural projects.
We're back! Now firing notebooks out of a t-shirt gun.
Skills for Real Engineers. Straight from my .claude directory.
A Python framework for AI-driven character animation using neural networks.
Reverse of OpenAI Privacy Filter: same 1.5B model, returns PII as structured spans instead of masking.
Lossless Context Management plugin for Hermes Agent — DAG-based context engine that never loses a message
Markdown editor and knowledge base for Mac, iOS and iPadOS
The headless browser for AI agents and web scraping
A local-first personal finance app
Firefly III: a personal finances manager
Formalization in Lean of the transcendence of π.
Completion-based I/O for Rust. No runtime, no hidden tasks.
A friendly programming language from the future
Multiplierless stack machine computing 10 transcendental functions (exp, ln, sin, cos, tan, sqrt, pow, atan2, exp2, log2) in Q16.24 fixed-point. Zero DSPs.
Cognitive architecture for AI-augmented software development. Specialized agents, structured workflows, and multi-platform deployment. Claude Code · Codex · Copilot · Cursor · Factory · Warp · Wind…
Generate Nix expressions to build NPM packages
Clone of https://gitlab.inria.fr/bblanche/CryptoVerif.git
Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.
KohakuTerrarium is a general-purpose AI agent framework and batteries-included app for building, running, and composing self-contained agents and multi-agent teams, with built-in tools, sub-agents,…
Agent-CI is local GitHub Actions for your agents.
macOS and Linux VMs on Apple Silicon to use in CI and other automations