Charles Southerland's repositories
hextime-bash
Implementation of hextime in bash
bourne-shell-examples
Some examples of Bourne shell scripts.
dc512-gimme-terrapin
yuno have OpenSSH version with Terrapin for demo purposes!?!?
icantgetno
SAT solver experimentation
lugnuts-examples
Examples for OKC LUGnuts
atx-golang-code-kata-1
Code Kata 1 #go #golang
calendar-proofs
Some proofs about calendars.
concrete-semantics-book
Working on problems from Concrete Semantics by Nipkow and Klein
epi-practice
Practicing with the problems from Elements of Programming Interviews
golang-talks
Some presentations related to the Go programming language
loopback-connector-elastic-search
Strongloop Loopback connector for Elasticsearch
munkres-work
Work from following along with Munkres' Topology
openwrt-packages
Packages Repository
openwrt-vagrant
Vagrant definition for a box that is ready to compile OpenWRT
powerline-hextime
A Powerline segment which displays the current hextime.
pullcord
A reverse proxy that allows scaling down a cloud service to zero servers without sacrificing (eventual) availability.
seL4_microkit_tutorial
A tutorial for learning the seL4 Microkit
subsordubs-api
Subs or Dubs API
subsordubs-web
Subs or Dubs web front-end
thrift
Mirror of Apache Thrift
wiomw-linux
Who Is On My WiFi Scanning Agent for Linux
wiomw-openwrt-feed
OpenWRT package feed that includes Who's On My WiFi packages
wiomw-sui
Who Is On My WiFi Simple User Interface for OpenWRT