Lightning-Fast, On-Device, Multilingual TTS — running natively via ONNX.

The only tool you need to know what is happening and how to fix it.

Graphs that teach > graphs that impress. Turn any code into an interactive knowledge graph you can explore, search, and ask questions about. Works with Claude Code, Codex, Cursor, Copilot, Gemini C…

SANA: Efficient High-Resolution Image Synthesis with Linear Diffusion Transformer

A Java library for building modern terminal user interfaces.

`linear-locks` provides locking primitives that are statically guaranteed to be free of deadlocks.

Claude Code & Codex Scala Skills: generate direct-style applications with use-case driven guides

Light, fluffy, and always free - The AWS Local Emulator alternative

Haskell implemented with combinators

C library for accessing the PostgreSQL parser outside of the server environment

🧱 easy and fast microVMs for running untrusted workloads

Per-process network monitoring for your terminal with deep packet inspection. Cross-platform, sandboxed.

🐶 Kubernetes CLI To Manage Your Clusters In Style!

コード例で学ぶ Lean 言語

Pre-indexed code knowledge graph, auto syncs on code changes, for Claude Code, Codex, Gemini, Cursor, OpenCode, AntiGravity, Kiro, and Hermes Agent — fewer tokens, fewer tool calls, 100% local

Fast, friendly GHCi

Go bindings for GoogleSQL

Collection of Marp-based presentation templates for 3-SHAKE. Features standardized designs, citation styles, and custom layouts for cloud-native technology and enterprise solution presentations, en…

A fast reverse proxy to help you expose a local server behind a NAT or firewall to the internet.

drift is a single binary that lets you securely copy files and folders between two machines over WebSocket. It includes a built-in web UI with a two-pane file browser — no setup, no cloud, no SSH k…

A git client based on the IntelliJ platform

Server to host Lean games

A monospaced programming font inspired by the Minecraft typeface

C projects: algorithms, games, and networking

List of "only yours" cloud services for everyday needs 🏴

Compiler for the C3 language

CSV made fast and simple

Desktop app to manage markdown knowledge bases

Drop-in Apache Spark replacement written in Rust, unifying batch processing, stream processing, and compute-intensive AI workloads.

Bartosz Milewski's 'Category Theory for Programmers' unofficial markdown source