The IDE you know, rebuilt in Rust. IntelliJ IDEA–style keymap, tool windows and search-everywhere in a fast native app: editor, code insight, debugger, Git, terminal, database and HTTP clients for …

Use ChatGPT Web (including Pro) as a native model in Codex — with context, tools, streaming and images, without using Codex quota.

A tool to recover a fully analyzable .ELF from a raw kernel, through extracting the kernel symbol table (kallsyms)

PowerDNS Authoritative, PowerDNS Recursor, dnsdist

Rust library for OpenAI

A git client based on the IntelliJ platform

beautify wslg title bar to make look like windows

自带预链接的轻量TCP转发，有效消除线路鸡到落地鸡之间的握手延时。之前用过的用户请重新在readme里复制脚本蟹蟹。

mold 🦠: A Modern Linker in Rust 🦀

WARP wireguard config generator in POSIX Shell

Easily install the new Windows Terminal or Windows Terminal Preview on Windows Server 2022 and newer.

A simple, decentralized mesh VPN with WireGuard support.

Filter TLS traffic with IPtables

A new packaging format for Java programs.

Generates a project with Aya infrastructure and Grammar-Kit parsing setup.

✨ Making your shell magical

TeXpresso: live rendering and error reporting for LaTeX

[Deprecated] An early language server for Typst, plus a VS Code extension

A markup-based typesetting system that is powerful and easy to learn.

being an operating system for typechecking processes

History of type theory (Chinese).

high-performance cubical evaluation

Fast Java native interface based on JVMCI

FlatLaf - Swing Look and Feel (with Darcula/IntelliJ themes support)

~ Intellij Platform plugin for Aya Prover

Staged push/pull fusion with typed Template Haskell

A powerful, easy-to-use, modern Java core library for the future

Constructor of incremental parsers in Scala

Setoid type theory implementation