Pinned Repositories
Apollo
MIDI server/client system for human-human, human-bot and bot-bot interaction.
Babai-Graph-Isomorphism
Source-code accompanying Bachelors Thesis about Babai's paper on Graph Isomorphism in Quasi-polynomial Time.
BOOG
Binaire Operatoren Opgaven Generator / Binairy Operator Exercises Generator
Graph-Isomorphism
Herentoiletten-Probleem
Collection of source code of programs attempting to solve the "Herentoiletten Probleem"
Hyle
IndecomposableAlgebraicIntegers
Iris
Wikipedia and news mash-up
javascript-midi-keyboard
Me playing around with the MIDI-support of my browser.
lftcm2020
Lean for the Curious Mathematician 2020
MadPidgeon's Repositories
MadPidgeon/Babai-Graph-Isomorphism
Source-code accompanying Bachelors Thesis about Babai's paper on Graph Isomorphism in Quasi-polynomial Time.
MadPidgeon/BOOG
Binaire Operatoren Opgaven Generator / Binairy Operator Exercises Generator
MadPidgeon/Iris
Wikipedia and news mash-up
MadPidgeon/Apollo
MIDI server/client system for human-human, human-bot and bot-bot interaction.
MadPidgeon/Graph-Isomorphism
MadPidgeon/Herentoiletten-Probleem
Collection of source code of programs attempting to solve the "Herentoiletten Probleem"
MadPidgeon/Hyle
MadPidgeon/IndecomposableAlgebraicIntegers
MadPidgeon/javascript-midi-keyboard
Me playing around with the MIDI-support of my browser.
MadPidgeon/lftcm2020
Lean for the Curious Mathematician 2020
MadPidgeon/MadPidgeon.github.io
MadPidgeon/NonabelianFlowsInGraphs
MadPidgeon/NumericalLinearAlgebra
NLA
MadPidgeon/nyum
A simple Pandoc-powered static site generator for your recipe collection – it effortlessly turns a set of Markdown-formatted recipes into a lightweight, responsive, searchable website.
MadPidgeon/Order-versus-Chaos
Source code for Order versus Chaos game
MadPidgeon/Parallel-Weisfeiler-Leman-Refinement
MadPidgeon/Redei-Symbols
Sage code for computing Redei symbols
MadPidgeon/spt
String Puzzle Tools
MadPidgeon/thesis-template
LaTeX template for mathematics PhD thesis
MadPidgeon/wreaths
Algorithms for wreaths
MadPidgeon/YACC-LEX-experimenting