Lists (1)
Stars
Three.js-compatible application specializer with a Rust/Wasm + WebGPU execution core: compiles ordinary Three.js apps into specialized update kernels, packed GPU state, and persistent render schedu…
Evidence-carrying control system for powerful AI agents, featuring epistemic MVCC, authority graphs, progressive ATP evidence, and decision-sensitive introspection in pure safe Rust.
Ultra-fast sparse-spectral textual overlap detection and approximate alignment in safe Rust
Agent-native, evidence-grade operating substrate for turning owner-authorized drone video into metrically honest semantic digital twins
Pure-Rust, evidence-native, local-first sensor fabric and semantic control plane for owner-authorized cameras and capture drones
Git-compatible, agent-native, repairable, self-hostable code forge and GitHub alternative.
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