arcmindAI turns product ideas into complete system architectures using AI from diagrams to technical blueprints.
Repositories
mvanhorn repositories
IDE-grade code navigation for AI agents — go-to-definition, find-references, call hierarchy as MCP tools
A multi-cluster batch queuing system for high-throughput workloads on Kubernetes.
An Agentic System for Scalable Articulated 3D Asset Generation
Browser-based media player and Chrome extension for subtitle sentence mining
Asio C++ Library
Fluent testing assertions for Java and the JVM
Core Astarte Repository
Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.
Audiophile music player with gapless playback, parametric EQ, AutoEQ import, and real-time DSP visualizers
Resource Monitor for GNOME shell
Everything your business needs to talk to customers — phone numbers, call queues, CRM, AI bots. One app, open source.
Arbitrary precision floating point numbers library
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.
✨ Making your shell magical
The Single Sign-On Multi-Factor portal for web apps, now OpenID Certified™
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.