samuelhklumpers

Pinned Repositories

agda-extras
Pile of type classes, instances, and proofs of lawfulness
Language:Agda0 1 00
chess3
chess
Language:Python0 1 01
infofp-game
Language:Haskell1 1 00
master-thesis
Language:TeX0 1 00
mfi-photosynthetics
MFI - Photosynthetics
Language:Python1 2 00
monotone-frameworks
Language:Haskell1 1 100
procline_planner
Language:Python00
strong-vector
Language:Haskell1 2 30
TilingIsing
Ising on Uniform Tilings
Language:Python1 1 30
vaccine-scheduling-nintendads
Code for the "Vaccine Scheduling Project" of Algorithms for Decision Support
Language:C#1 1 10

samuelhklumpers's Repositories

samuelhklumpers/infofp-game
Language:Haskell1 1 00
samuelhklumpers/mfi-photosynthetics
MFI - Photosynthetics
Language:Python1 2 00
samuelhklumpers/monotone-frameworks
Language:Haskell1 1 100
samuelhklumpers/strong-vector
Language:Haskell1 2 30
samuelhklumpers/TilingIsing
Ising on Uniform Tilings
Language:Python1 1 30
samuelhklumpers/vaccine-scheduling-nintendads
Code for the "Vaccine Scheduling Project" of Algorithms for Decision Support
Language:C#1 1 10
samuelhklumpers/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Language:Agda0 0 00
samuelhklumpers/agda-extras
Pile of type classes, instances, and proofs of lawfulness
Language:Agda0 1 00
samuelhklumpers/agda-misc
Miscellaneous small things in Agda
Language:Agda00
samuelhklumpers/agda-zfc
Language:Agda0 1 00
samuelhklumpers/chess
Language:Python00
samuelhklumpers/chess3
chess
Language:Python0 1 01
samuelhklumpers/master-thesis
Language:TeX0 1 00
samuelhklumpers/procline_planner
Language:Python00
samuelhklumpers/calc-alot-of-things-html
Language:HTML
samuelhklumpers/chess3-web
Language:Python1 0
samuelhklumpers/ModularSynthesis
Language:Java0 0
samuelhklumpers/oceanparcels_website
Repository for the oceanparcels.org website
1