Brad Rasmussen

bajr/resume

bajr/cookbook

some recipes

bajr/bbc2019_bash

bajr/bajrc-bot

A derpy IRC bot, in C.

bajr/redmud

bajr/dot-vim

bajr/libsmt.rs

Rust Bindings to interact with SMTLIB2 compliant solvers