olligobber Goto Github PK

adventofcode2018

My code and input files for Advent of Code 2018

adventofcode2019

My code and input files for 2019's Advent of Code. Most of it is terrible.

adventofcode2020

Code and input files for Advent of Code 2020

aoc2022

My code for Advent of Code 2022

aoc2023

Solutions for Advent of Code 2023

bubzi

An IRC bot.

containers

Assorted concrete container types

deque

A practice deque implementation

directproof

Create direct proofs automatically

divisibilityregex

Generates Regular Expressions to match any multiple of a number (in any base)

friggeri-cv

heapsort

Simple Integer Heapsort

home-of-olligobber

Olligobber's website

iotabf

Tools for making and executing Iota programs, including a BrainFuck interpreter.

lambdacalc

Lambda Calculus Tools and Interpreter written in Haskell

learning-opengl

For learning how to use OpenGL and testing out GitHub

mocookie

Track cookie debt with blockchain and cryptography

modular-synthesis

A simple waveform manipulation program, used to demonstrate Python modules in UNSW's COMP1010 course

openbridge

An open source bridge scorepad

proofcheck

Proof Checker for a system of Propositional Logic

ramble

rhythm

An IRC Bot that helps PPAU

runelite

Open source Old School RuneScape client

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

souffle-lang.github.io

Soufflé

spr

truth-table-o-matic

Generates truth tables

usyd_timesheet_automation

Selenium driver to turn csv files into timesheet submissions

xkcd-bucket

Bucket is the channel bot for #xkcd