Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].
Repositories
mvanhorn repositories
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
Basic tollgate implementation example
Two-dimensional array library for Rust
ToolHive is an enterprise-grade platform for running and managing Model Context Protocol (MCP) servers.
Workflows and Tools mostly for coding, that make me act faster and my life longer in actions-time
🎒 Token-Oriented Object Notation (TOON) – Compact, human-readable, schema-aware JSON for LLM prompts. Spec, benchmarks, TypeScript SDK.
Upgrade all the things
GPU-first derivative-free optimization for PyTorch
A modern and feature-rich (private) BitTorrent tracker.