System and process monitor for Linux

An in-memory datalog implementation for OCaml.

The wolfSSL library is a small, fast, portable implementation of TLS/SSL for embedded devices to the cloud. wolfSSL supports up to TLS 1.3 and DTLS 1.3!

A dead simple tool to sign files and verify digital signatures.

Bhyve management GUI written in Freepascal/Lazarus

Neat and handy general-purpose behaviour tree editor. Electron-based.

The SILE Typesetter — Simon’s Improved Layout Engine

A lil' TOML parser

Type-safe markup rendering, form validation, and routing for OCaml Dream web framework

Pixel Art Editor

DuckDB is an analytical in-process SQL database management system

Holo is a suite of routing protocols designed to support high-scale and automation-driven networks.

A framework for layer 2 attacks

The ultimate best NFO viewer, ever!

Static website generator based on HTML element tree rewriting

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

Typed interactions with the GitHub API v3

Backend processor for BibLaTeX

Data repository for my blog series on microprocessor trend data.

OpenVPN is an open source VPN daemon

NeoFetch clone for DOS

A MS-DOS Creative Coding IDE/platform based on JavaScript

MS-DOS Mastodon client

Counterexamples in Type Systems

a git launcher :-)

LISP 1.5 is to all Lisp dialects as Beowulf is to English literature.

Easily Archive and Search Your Twitter Data with our Syncable Desktop App

A daemon to manage identity, authentication and authorization for centrally-managed systems.

A *LISP emulator