Repos
15
Stars
6
Forks
0
Top Language
Python
Loading contributions...
Top Repositories
Repositories
15SN
snyke7/aoc2023
Advent of Code 2023
Python10Updated 2 months ago
SN
snyke7/swamp-rose-updater
No description provided.
Makefile20Updated 1 year ago
SN
snyke7/bestRouteFinderFork
No description provided.
Python00Updated 4 years ago
SN
snyke7/coq-tricksFork
Tricks you wish the Coq manual told you
Coq00Updated 1 year ago
SN
snyke7/perennialFork
Verifying concurrent crash-safe systems
00Updated 2 years ago
SN
snyke7/iris-projectFork
No description provided.
HTML00Updated 2 years ago
SN
snyke7/Rocket-ScienceArchived
The Rocket Science mod for IndustrialCraft 2
00Updated 13 years ago
SN
snyke7/bitaFork
Differential file synchronization over http
Rust00Updated 3 years ago
SN
snyke7/aoc2022
Advent of Code 2022
Python10Updated 3 years ago
SN
snyke7/aoc2020
Advent of Code 2020
Python10Updated 4 years ago
SN
snyke7/aoc2021
Advent of Code 2021
Python10Updated 4 years ago
SN
snyke7/opam-ciFork
Docker image containing OPAM for CI builds
Dockerfile00Updated 2 years ago
SN
snyke7/tud-thesis-template-stripped
Stripped version of the TU Delft Thesis Template
TeX00Updated 6 years ago
latex-templatetudelftxelatex
SN
snyke7/coqFork
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.
OCaml00Updated 6 years ago
SN
snyke7/BuildCraftFork
BuildCraft
Java00Updated 13 years ago