ARVIO - A media hub application for Android TV with a modern, beautiful interface.
Repositories
mvanhorn repositories
Browser-based media player and Chrome extension for subtitle sentence mining
A material you designed app for your ADB needs
Asio C++ Library
AspGoat is an intentionally vulnerable ASP.NET Core application for learning and practicing web application security.
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
Open-source Agentic code review tool inspired by DevinReview, using Recursive Language Models (RLM)
Adaptive Test-time Learning and Autonomous Specialization
ATLAS Autoformalized Textbook Library At Scale
Dynamic Island for macOS
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.
A straightforward solution for using the AT Protocol and Bluesky, written in Swift.