proidiot

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!?!?

gone

Tidbits I wanted in Go but weren't there. Mabe I just need to learn the "right" way, but until then...

icantgetno

SAT solver experimentation

lugnuts-examples

Examples for OKC LUGnuts

7l7w2020

Spring 2020 study group for Seven Languages in Seven Weeks

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

gofigure

A generalized configuration system for Golang.

golang-talks

Some presentations related to the Go programming language

json-nom

JSON Nested Object Masker

latex-resume

loopback-connector-elastic-search

Strongloop Loopback connector for Elasticsearch

michaelbeam-media_generator

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

techlahoma

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