Arbitrary precision floating point numbers library
Repositories
mvanhorn repositories
An open source design system that's fully customizable and agent ready
ATLAS Autoformalized Textbook Library At Scale
The verifiable coding agent runtime. Build your own software factory with verification built in. Run verifiable engineering loops with control and confidence. Define the work as stages, checks, gates, tools, artifacts, and approvals. Atomic runs the process so agent work is verifiable by design.
Python Classes Without Boilerplate
✨ Making your shell magical
The Single Sign-On Multi-Factor portal for web apps, now OpenID Certified™
The authentication glue you need.
Your data, your control. Fully open source, authentication and authorization. No lock-ins. Deployment in Railway in 120 seconds || Spin a docker image as a micro-service in your infra. Built in login page and Admin panel out of the box.
🎯An accuracy-first, highly efficient quantization toolkit for LLMs, designed to minimize quality degradation across Weight-Only Quantization, MXFP4, NVFP4, GGUF, and adaptive schemes.
Modern, easy to use download automation for torrents and usenet.
Automatic quad remeshing tool
AI agents running research on single-GPU nanochat training automatically
A command line tool to manage stacked PRs with Aviator
Curated list of the best free apps for PC and mobile
100+ AI Agent & RAG apps you can actually run — clone, customize, ship.
Collection of the best Paperclip plugins
A collection of awesome static hosting & CMS providers
A curated list of awesome libraries, packages, strategies, books, blogs, tutorials for systematic trading.