Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s

🔍 ugrep 7.3 file pattern searcher -- a more powerful, ultra fast, user-friendly, compatible grep replacement. Includes a TUI, Google-like Boolean search with AND/OR/NOT, fuzzy search, hexdumps, sea…

programs found in /bin, rewritten to deGNUify my systems

A Go library for WebDAV, CalDAV and CardDAV

an adaptable text editor

A scrollable-tiling Wayland compositor.

Pinentry based on bemenu

Free scientific packages for GNU Guix.

[MIRROR] Build script to build Alpine packages

The Rumprun unikernel and toolchain for various platforms

Secure & Modern All-in-One Mail Server (IMAP, JMAP, POP3, SMTP)

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

The R9 operating system

cwe_checker finds vulnerable patterns in binary executables

The Unix line editor

32-bit RISC-V CPU in ~800 lines of C89

A small imperative language with ML-style references to play with CHERI Capabilities & Session-Types.

Extensible implementation of the RISC-V ISA based on FreeMonads

Crucible is a library for symbolic simulation of imperative programs

WIP implementation of a Haskell-like Lisp in Racket

Typed Racket

symbolic execution engine for Rust

[mirror] A small, secure Wayland screenlocker

earlyoom - Early OOM Daemon for Linux

Distributed, offline-first bug tracker embedded in git, with bridges

Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

Algebraic effects for Rust

Kaiju75 will be an ISO 75% split keyboard, designed to be 3D printed and hand wired