TauOmicronMu

Dr Tom Goodman's repositories

proofchecker

SAT Checker for Reasoning module

Language:Python2 20

TeamProject

Language:JavaBSD-3-Clause2 6 5

tauomicronmu.github.io

My Personal Site

Language:HTMLBSD-3-Clause1 2 7

1up-2019

Language:C#010

hashcode19

Language:Python030

hashcode_2020

Language:Python020

nlp

Language:Python020

99-haskell-problems

Language:Haskell000

AoC-2023

Language:Python000

ARME

Language:HTMLMIT010

astonhack2018

020

birmingham-theory

The web page for the Birmingham theoretical computer science research group

Language:HTML020

bluebear-challenge-2018

Language:C020

BusinessCARds

AR business cards

Language:JavaScriptBSD-3-Clause020

ccpp

Language:C020

creep

Scary.

Language:Python020

demo

010

distributed-pi

Language:C020

DnD

All of the resources I'm using/have created (mainly world building) for a d&d campaign

020

error-message-index

A community-driven collection of documentation for Haskell error messages and warnings

Language:Haskell000

gehack

Language:JavaScriptBSD-3-Clause03 8

haskell

2nd year haskell module

Language:Haskell020

haskell-pong

Language:Haskell020

http-server

http server for my Networks module

Language:C020

librealsense

Intel® RealSense™ SDK

Language:C++Apache-2.0010

netsec-2-ipsec

020

os-script

Language:Shell010

prolog

Language:Prolog020

uob-energy-interface

Language:JavaScriptBSD-3-Clause020

y2lectures

02 1