Universal provider proxy for OpenAI Codex & Claude Code — use any LLM (Claude, Gemini, Grok, DeepSeek, Ollama…) with Codex CLI, App, SDK, and Claude Code

Hide website logos with CSS selectors.

A tiny cli to find slime chunks from the seed

Kova - Markdown presentation editor.

🍿 A cross-browser library of CSS animations. As easy to use as an easy thing.

Linguist languages data.

A proof of concept for an easy-to-use ephemeral personal-use VPN service.

LaTeX support for Typst, powered by Rust and WASM. https://mitex-rs.github.io/mitex/

Quick search over the nLab wiki

Cloudflare Tunnel client

A file-based mirror of the nLab wiki (Markdown+itex2MML format).

Chrome DevTools Protocol

Typst symbol classifier

A textbook on informal homotopy type theory

2026 Basic Abstract Algebra Study

Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input fr…

Touying is a powerful package for creating presentation slides in Typst.

Out-of-the-box, customizable and multilingual theorem environment package for Typst.

Typst Library for Worksheets and Exams

Saizeriya Protocol Implementation of server and client

Amper - a build tool for the Kotlin and Java languages, with a focus on user experience and tooling

Native Zig implementation of the Agent Client Protocol — wire types, transport-agnostic SDK, proxy conductor, trace viewer, reference agent.

Agent Client Protocol (ACP) Implement For Golang

Typst package for drawing diagrams with arrows, built on top of CeTZ.

Repository for the Stacks Project

File IO (read/write/open) for OsPath API

The new Windows Terminal and the original Windows console host, all in the same place!

BOJ 서비스 종료 이전까지의 자신의 정보를 요약해서 볼 수 있는 서비스

백준 온라인 저지(BOJ) 서버 종료 전 개인 데이터 백업 도구