Archi: ArchiMate Modelling Tool
Repository
Repository di mvanhorn
arcmindAI turns product ideas into complete system architectures using AI from diagrams to technical blueprints.
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
Async runtime for Rust where correctness is structural: region-owned tasks, cancel-correct protocols, capability-gated effects, and deterministic replay testing
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