Stars
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
Type-safe markup rendering, form validation, and routing for OCaml Dream web framework
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.
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
Data repository for my blog series on microprocessor trend data.
A MS-DOS Creative Coding IDE/platform based on JavaScript
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.
Command-line tool from the Alire project and supporting library
A tool-agnostic formal specification language for OCaml.