Fast, powerful, git-native ticket tracking in a single bash script. Dependency graphs, priority levels, zero setup.
Repositories
mvanhorn repositories
TiDB - the open-source, cloud-native, distributed SQL database designed for modern applications.
The open source Solver AI for Java and Kotlin to optimize scheduling and routing. Solve the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.
TimesFM (Time Series Foundation Model) is a pretrained time-series foundation model developed by Google Research for time-series forecasting.
Post-training with Tinker
Click-to-run debian 13 with desktop environment on android!
You like pytorch? You like micrograd? You love tinygrad! ❤️
Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Collaborative cheatsheets for console commands 📚.
very good whiteboard infinite canvas SDK
Persists tmux environment across system restarts.
喵喵喵~
A Python native, OS native GUI toolkit.
Text Object Java Objects (TOJOs): an object representation of a multi-line structured text file like CSV, YAML, or JSON
🧃 Token weight loss. Lean output compaction for terminal-heavy agent workflows. Works as a native CLI tool or as an extension to popular coding and agent frameworks.
The most comprehensive code intelligence MCP server for AI coding agents. 40+ tools, 30+ languages, 9 agent integrations. Pre-indexed semantic knowledge graphs for instant code understanding — fewer tokens, fewer tool calls, 100% local.
Desktop app to manage markdown knowledge bases