certbot nginx auto-updater (uses nginx plugin for non-wildcard certs)

Updated 3 years ago

It's a program that uses simulated annealing to design a circuit to match a truth table. Results were disappointing. I created this as an experiment out of boredom.

Updated 2 years ago

Old COSI Cisco documentation

Updated 4 years ago

Updated 3 years ago

Updated 2 years ago

JavaScript 0 0

Discord Bot

Updated 2 years ago

OpenSCAD 0 0

COSI CAD objects

Updated 4 years ago

Miscellaneous administrivia that might be useful

Updated 7 months ago

Course Management Scripts

Updated 4 years ago

Updated 3 years ago

Updated 2 years ago

Updated 2 years ago

Updated 2 years ago

Solving MAXSAT and saying a few words about it.

Updated 2 years ago

Simple AES chat program

Updated 3 years ago

Updated 3 years ago

COSI developer landing page

Updated 4 years ago

dhcpd and radvd configurations for dynamic host addressing on the COSI network.

Updated 11 months ago

Updated 11 months ago

"Short term" solution for storing documentation until we create a better method

Updated 6 months ago