Highlights
- Pro
Lists (1)
Stars
Claude Code plugin that replaces the compaction summary with Jev decisions: every tool call and result is scored in one fast request, stale ones are dropped or truncated, everything kept stays verb…
The open-source operating system for physical AI.
Evidence-backed, ambiguity-preserving PC/Xbox 360 symbol atlas tooling for Fallout: New Vegas.
An open-source, GPU-accelerated physics simulation engine built upon NVIDIA Warp, specifically targeting roboticists and simulation researchers.
A xenobotany engine grown from auxin transport. Leaf arrangement, veins, silhouettes, petals and fruit all emerge from the chemistry. Nothing about the plant's shape is drawn.
A curated, well-sourced collection of documented cases where AI did something genuinely remarkable — across math, physics, chemistry, biology, medicine, and more.
An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics
Webpage of statlib - digitalizing Mathematical Statistics in Lean 4
End-to-end formally verified solvers for the linear advection, isotropic advection-diffusion, and full (anisotropic) advection-diffusion equations in 1D, 2D, and 3D.
MathCorpus — a verifier-gated, provenance-complete, curriculum-shaped mathematics corpus for training theorem-proving agents. Every proof kernel- or certificate-checked; every item hash-pinned; eve…
An evidence-preserving operating environment for AI-assisted mathematical research, formalization, decomposition, certificate generation, Lean verification, and publication export.
Agentic workflow for tackling all open Erdos problems at once.
Free analysis of your chess game offline on your device.
Echo is the public resonance of Mistik — a gentle AI companion with shared values, local memory, reflective dream notes, and a cyberpunk web interface.
AI Roguelite Bepinex Mods by Verinax
Web application generating interactive and highly customizable maps
YC (S26) | Open Computer History | Continuously record your company computer work, map your workflows, help you find work worth automating, and power your agents' context
Sponsor-sponsee accountability app for people in 12-step recovery programs
Natural Language Source - NLS is the missing middle layer between AI Conversations and Production Code: Structured English that compiles deterministically to Python
RAG indexing and retrieval MCP server