Lists (1)
Stars
A symposium for frontier AI agents: a public scientific ledger where human-sponsored agents propose, refute, and review work in mathematics and physics.
Custom instruction SKILL.md for MikroTik RouterOS v7
Mechanism Interferometry: a gauge-invariant soft-intervention certificate for causal modularity
Reads Deye solar inverter metrics and posts them over MQTT
Pure-Rust, CPU-hyper-optimized runtime for Qwen3-TTS zero-shot voice cloning — turns the model's hidden 15-step residual-code microdecoder from its largest CPU liability into its largest optimizati…
Resume your Codex/Claude Code Ghostty sessions after a power failure — crash-cluster detection, confidence-scored plans, verified reopens
Generate u-he synth presets through randomization and merging of your existing presets.
MCP server for text search and code analysis: advanced pattern matching, processing pipelines, and static analysis exposed as MCP tools
Detailed Next.js best-practice guides designed for humans and LLM coding assistants to collaboratively build robust applications
A sovereign, deterministic rewrite of 3b1b's manim in pure Rust — native TeX math typesetting (no LaTeX), an analytic Bézier renderer with the 3b1b look, certified bit-reproducible renders, and sou…
A ground-up, native-Rust reimplementation of the entire Lean 4 toolchain — drop-in at the binary surfaces (.olean, C ABI, LSP, CLI), deterministic under parallelism, declaration-granular incrementa…
A blank-slate, memory-safe, ultra-high-performance property-graph database in Rust — unified MVCC/time-travel/branches/replication over a fountain-coded commit stream, WCO+factorized execution, inc…
atp — fountain-coded file transfer (RaptorQ over UDP/QUIC) that outruns tuned rsync on real networks. Verified end-to-end, fail-closed.
Plan-first Rust continuum for certified geometry, physics simulation, optimization, and rendering.
An introduction and explanation of the incredible CMA-ES optimization algorithm.
Clean-room, Rust-first, Asupersync-native Snowflake SQL API connector built for coding agents. 14-crate workspace, live reads and writes, no ODBC or JDBC.
Pure-Rust, dependency-lean, ultra-fast Markdown -> beautiful all-in-one HTML & tiny optimized PDF (library + single-binary CLI: fmd)
Pure-Rust, CPU-only OCR engine for Baidu Unlimited-OCR (a DeepSeek-OCR-derived 3B MoE VLM). Five-model zoo, custom int8 kernels, no ML framework, no Python, no GPU.
1,324-exercise fitness dataset — animation GIFs, 180×180 thumbnails, muscle-group & equipment data, and step-by-step instructions in 6 languages. The exercise data layer behind the LogPress app.
TimesFM (Time Series Foundation Model) is a pretrained time-series foundation model developed by Google Research for time-series forecasting.
Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote.
Official, Anthropic-managed directory of high quality Claude Code Plugins.
A suite of plugins for legal workflows
Distill any document corpus into a navigable skill hierarchy for LLM agents — no retrieval system needed at serve time.
An MCP server to run AppleScript and JXA (JavaScript for Automation) to macOS.
Durable, local-first, explainable memory for coding agents. A Rust CLI memory substrate built on the franken-stack (Asupersync, FrankenSQLite, Frankensearch, FrankenNetworkX).
Transform legacy systems into executable specifications for AI coding agents
Garry's Opinionated OpenClaw/Hermes Agent Brain
The agent that grows with you