Pinned Repositories
310
Main course webpage for CPSC 310.
448proposal2019summer
Repository for my 448 Directed Studies proposal
CMock
CMock - Mock/stub generator for C
counterexamples
Counterexamples in Type Systems
ECCtoECCA
Implementation of a type-preserving compiler from Luo's ECC to an A-Normal form restricted subset called ECCA
interlockingmoderatorship
I tried to graph reddit based on moderator overlap.
SASummerJam2017.gmx
Team DN's Entry for SA Summer Jam 2017
spaceplunkold
SurgeGame
It's a racing game! With spaceships!
tz18's Repositories
tz18/SurgeGame
It's a racing game! With spaceships!
tz18/ECCtoECCA
Implementation of a type-preserving compiler from Luo's ECC to an A-Normal form restricted subset called ECCA
tz18/interlockingmoderatorship
I tried to graph reddit based on moderator overlap.
tz18/SASummerJam2017.gmx
Team DN's Entry for SA Summer Jam 2017
tz18/spaceplunkold
tz18/310
Main course webpage for CPSC 310.
tz18/448proposal2019summer
Repository for my 448 Directed Studies proposal
tz18/CMock
CMock - Mock/stub generator for C
tz18/counterexamples
Counterexamples in Type Systems
tz18/goodeargame
A game where you guess the notes in a randomly generated tune, to get a better ear for music!
tz18/Gravity-Demo
Demo of pseudo Einsteinian Gravitational Curvature
tz18/lifeinc
Conway's Game of Life in C
tz18/iddqd
3301 - Unmodified files, transcription and other assets.
tz18/Limnoria
A modified version of Supybot (an IRC bot) with translations (fr, fi, it, hu, de, ...), embedded web server, bug fixes, and several other enhancements and bug fixes
tz18/pupil-community
Community contributed plugins and projects using Pupil
tz18/roboviz
Microservice Internet-of-Things Application to Visualize Pose of Physical Model
tz18/shifted-names
Coq library for handling names
tz18/solving_lp
tz18/spaceplunk
tz18/Supybot-Polls
Supybot plugin for polls in channels
tz18/WilSim
yet another WILson from the movie castaway with tom hanks SIMulator