mold: A Modern Linker 🦠

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

NVIDIA Linux open GPU kernel module source

A massively parallel, optimal functional runtime in Rust

Quantum assembly language for extended quantum circuits

virtio implementation

Neon lights in the night tonight and stars that shine in the open sky

Haskell to VHDL/Verilog/SystemVerilog compiler

Protect your SSH keys with your Mac's Secure Enclave

Fast and concise effect handlers