Zip-Ada: a standalone, portable pure Ada library for .zip archives. Includes LZMA and BZip2 byte stream encoder & decoder pairs.

SPARK 2014 re-implementation of the TweetNaCl crypto library

A PKCS#11 interface for TPM2 hardware

libsodium for Ada - A secure cryptographic library

Zstandard for Ada - Fast real-time compression algorithm

A tool for checking the security hardening options of the Linux kernel

A tiny, embeddable language implemented in ANSI C

a low fidelity scripting language for project infrastructure

WinBtrfs - an open-source btrfs driver for Windows

[mirror] A non-monolithic Wayland compositor

A community-supported supercharged document management system: scan, index and archive all your documents

A simple tool for visually comparing two PDF files

A tool for visualizing differences between two pdf files.

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

Hardware Security Module (HSM) for Raspberry Pico and ESP32

OpenCL binding for Erlang

WorkTree is a project planning and analysis tool supporting the Critical Path (CPM) and the Precedence Diagram Method (PDM)

Mount Android phones on Linux with adb. No root required.

⚙️ Convert HTML to Markdown. Even works with entire websites and can be extended through rules.

A Minecraft server written in COBOL

Wikiman is a universal offline documentation search engine for manual pages, tldr-pages, ArchWiki, Gentoo Wiki, DevDocs, and FreeBSD documentation

Eclipse B612

Portable file server with accelerated resumable uploads, dedup, WebDAV, SFTP, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file

A modern, configurable, terminal based MPD Client with album art support via various terminal image protocols

A command line tool to generate PDF from URLs with electron.

RAVENNA ALSA LKM

AES67 Linux Daemon with configuration WebUI

Website for the 512 KB Club