Projects

This is a list of projects I have developed. A list of abandoned projects is also available.

alpine-build
A script to ease the maintenance of custom Alpine builds
golatex
A Go package for dealing with LaTeX
safe
A Go package for sanitizing input
wasm
A Go package for dealing with WebAssembly
Aquinas
A system that aims to teach people how to program
beamer-control
Simultaneously control two PDF viewers; a nice way to place notes on one screen and slides on another
dmapd
A server that provides DAAP and DPAP shares
fctk
Templates for generating a new project and XSLT code to generate getopt() C code, man pages, HTML documentation, Debian package specifications, RPM specifications, etc. from one XML description
flyn_docs
A set of LaTeX classes and related files
fmt-ptrn
A simple template system
gitstats
Collects statistics about the activity surrounding Git repositories
guestrace
A whole-system system-call tracer for VM guests
kodi-plugin.audio.grilo
An addon for Kodi that provides access to shares supported by Grilo
lcdgrilo
A Grilo-based media player for use on a Raspberry Pi with a PiFace CAD
lcdringer
A ringer for use on a Raspberry Pi with a PiFace CAD
libdmapsharing
A DMAP (i.e., iTunes™ and iPhoto™) library
libtlssep
A TLS library with built-in privilege separation protections
openwrt-build
A script to ease the maintenance of custom OpenWrt builds
pam_keyring
A PAM module that execute gnome-keyring-daemon and unlock the default keyring
pam_mount
A PAM module that can mount volumes for a user session
pedansee
A program that checks C source files for style
Pylog
Allows Python to make Prolog queries
pypvm
Python interface to PVM
SimpleFlow
A simple information-flow-based security module for Linux
speak
Front-end to the festival speach synthesis package
TunesConvert
Transcode iTunes™ libraries to FLAC
VisorFlow
A simple information-flow-based security monitor that runs in a hypervisor