tz18

SurgeGame

It's a racing game! With spaceships!

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

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

goodeargame

A game where you guess the notes in a randomly generated tune, to get a better ear for music!

Gravity-Demo

Demo of pseudo Einsteinian Gravitational Curvature

lifeinc

Conway's Game of Life in C

iddqd

3301 - Unmodified files, transcription and other assets.

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

pupil-community

Community contributed plugins and projects using Pupil

roboviz

Microservice Internet-of-Things Application to Visualize Pose of Physical Model

shifted-names

Coq library for handling names

solving_lp

spaceplunk

Supybot-Polls

Supybot plugin for polls in channels

WilSim

yet another WILson from the movie castaway with tom hanks SIMulator