Configure systems using any scripting language

modern analog of the classic Moscow - Washington hotline

A cyber-physical programming environment

Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

A Scheme library for numerically solving differential equations on manifolds.

cloud-agent for OpenBSD 🕵️‍♀️

Spelling, grammar and style checking on LaTeX documents

Vagrant plugin to support OpenBSD's vmd(8) as a provider

Mix Network Bibliography

Genode OS Framework

Assembler and Emulator in Go

The Bone Lisp programming language

The FORM project for symbolic manipulation of very big expressions

my nmh + MH-E + mailfilter + misc hacks for reading email

A twitter client that behaves like nmh

A very religious text editor

MIT Scheme's Edwin Editor written on top of Scheme48 and SCSH

A public statement about ubiquitous encryption on the federated XMPP network.

The OK Web Server

Basic runtime monitoring and program restart for Go programs.

A rewrite of my favorite multimedia library, SFML, in Go

A flexible game engine written in Go and based on the entity component system model.

convert OTR keystores into other keystore formats for moving keys into a new IM app

An XMPP client with OTR support

Pond

A different take on a static site generator

Golang bindings to the Qt cross-platform application framework.

Matrix packages for the Go language [DEPRECATED]

A BLAS implementation for Go [DEPRECATED]