A Programming Paradigm for Spatiotemporal Composability

DeepSeek Harness: Everything is a Plugin.

JS engine lolz

A fast, minimal ES2023 JavaScript runtime built in Rust.

An Agent-driven terminal knowledge management system

⌥ AI Coding agent for the terminal — hash-anchored edits, optimized tool harness, LSP, Python, browser, subagents, and more

A high performance rust-powered UI layout library

The Hitchhiker's Guide to Logical Verification (2026 edition) and associated materials

Command line tool for the Mermaid library

Common fonts used in poster design

A cross-platform desktop All-in-One assistant for Claude Code, Codex, OpenCode, OpenClaw, Grok Build & Hermes Agent. Only official website: ccswitch.io

A fast native Rust Mermaid diagram renderer. No browser required. 500-1000x faster than mermaid-cli.

Write at the speed of thought – Velotype is a high-performance native Markdown editor built with Rust and GPUI.⚡

A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

🖋️ Fast and safe spellchecking C++ library

PureDocBench: source-traceable benchmark for document parsing across clean, degraded, and real-world settings

Yet Another Fast and Lightweight Markdown Editor.

Miso TTS is an 8 billion, highly emotive text-to-speech model

Open Source framework for voice agents, multimodal apps, and realtime AI. Maintained by Daily and the community.

Important math books for university and beginner students

A dynamic, cross-platform, and embeddable LaTeX rendering library

an extensive Qt5 & Qt6 Plotter framework (including a feature-richt plotter widget, a speed-optimized, but limited variant and a LaTeX equation renderer!), written fully in C/C++ and without extern…

Fast math typesetting for the web.

GitHub's fork of cmark, a CommonMark parsing and rendering library and program in C

High-quality single file implementation of Deep Reinforcement Learning algorithms with research-friendly features (PPO, DQN, C51, DDPG, TD3, SAC, PPG)

Run Typst in JavaScriptWorld.

Kimi Code CLI — The Starting Point for Next-Gen Agents