protvin - Codeberg.org

Transactional package manager, declarative GNU/Linux distribution, reproducible deployment tool, and more!

guile guix hurd linux scheme

Updated 2026年07月13日 01:48:22 +02:00

Research and Tools for analyzing binary blobs with the goal of reverse engineering them.

Updated 2026年07月12日 20:45:27 +02:00

Emacs interface to GNU Guix

Updated 2026年07月11日 13:16:45 +02:00

Forgejo front-end for GNU Emacs.

Updated 2026年06月19日 15:07:55 +02:00

A MS Teams plugin for libpurple/Pidgin (3rd party client)

Updated 2026年06月15日 12:33:46 +02:00

Formally verified, real-time capable, UNIX-like operating system kernel written in SPARK and Ada.

ada embedded formal-verification kernel operating-system spark

Updated 2026年05月31日 06:55:37 +02:00