Undo/Redo in Rust using deltas, snapshots or commands with convenience implementations for many standard and third-party types.

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.

A language and integrated environment for modelling and solving mixed integer linear optimization 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.