RRDtool 1.x - Round Robin Database

🐶 Automated code review tool integrated with any code analysis tools regardless of programming language

🐶 Suggests any code changes based on diff through GitHub Multi-line code suggestions by using reviewdog

A simple state-machine framework for OCaml based on QCheck

A library for quickchecking lattice modules and associated operations

An OCaml mutation tester

A utility for fetching minimal macOS libc headers

🎤⌨️ Acoustic keyboard eavesdropping

A set of functional collections created, ported and modified for my tak at NE Scala 2011

MetaPost + TeX rendition of Oliver Byrne's "The first six books of the Elements of Euclid"

File formats dissections and more...

Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

A (very) simple UI lib built on top of OpenCV drawing primitives

Extra Compose mappings to input an irritatingly large number of Unicode symbols under X.

Cross-platform library for 6DoF tracking of the PS Move Motion Controller. Sensor fusion, computer vision, ambient display (LED orb).

Glances an Eye on your system. A top/htop alternative for GNU/Linux, BSD, Mac OS and Windows operating systems.

Hans - IP over ICMP

An uroboros program with 100+ programming languages