Pinned Repositories
aoc2020
Advent of Code 2020
aoc2021
Advent of Code 2021
aoc2022
Advent of Code 2022
bestRouteFinder
mailman3-defaultliststyle
snyke7's Repositories
snyke7/aoc2020
Advent of Code 2020
snyke7/aoc2021
Advent of Code 2021
snyke7/aoc2022
Advent of Code 2022
snyke7/mailman3-defaultliststyle
snyke7/bestRouteFinder
snyke7/bita
Differential file synchronization over http
snyke7/BuildCraft
BuildCraft
snyke7/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
snyke7/opam-ci
Docker image containing OPAM for CI builds
snyke7/Rocket-Science
The Rocket Science mod for IndustrialCraft 2
snyke7/swamp-rose-updater
snyke7/tud-thesis-template-stripped
Stripped version of the TU Delft Thesis Template