Vulnerability (CVE) scanner for Nix/NixOS.

A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.

A pass extension that obscures the filenames and folder hierarchy within your password store.

Rust ❤️ Emacs

Bitcoin arbitrage - opportunity detector

A cross-platform, OpenGL terminal emulator.

Linux namespaces and seccomp-bpf sandbox

An application and Chrome extension for creating web-based applications that work like standalone Mac apps.

Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy and maintain. Automate everything from code deployment to network configuration to clo…

An integrated shell for working with the AWS CLI.

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

An operating function

XVA (Citrix Xen format) virtual disk tool. Supports RAW disk image exports and imports.

[Incomplete] A Raft implementation in Rust

Arch Linux configs

Rust language testbed project for porting to STM32F4xx ARM microcontrollers.

Metal I/O library for Rust.

Python module for working with ICARRT and NASA Ames file formats

my dot files

the source for my personal site, written in Haskell, powered by Hakyll

Project management tool for Emacs

improved colored diff

Official upstream development repository for Cabal and cabal-install

My .dotfiles

Modular dev environment setup application

TeX line breaking algorithm in JavaScript

A framework for distributed systems verification, with fault injection

A curated list of dotfiles resources.

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

Category theory applied to functional programming (undergraduate project)