A Lean 4 plugin for Helix.

A very fast linker for Linux

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

An optimization modeling language with solvers for MILP problems

LR(1) and LALR parsing tools app to learn compilers and language theory

A scrollable-tiling Wayland compositor.

A discord bot to render Typst code

A tree-sitter grammar for the typst typesetting language with a focus on correctness

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

A post-modern modal text editor.

A Firefox extension that adds DuckDuckGo-like !Bangs to any search engine & more.

A java bytecode decoding and encoding library written in rust. Mirror of https://gitlab.com/frozo/noak

Empowering everyone to build reliable and efficient software.