-
KU Leuven
- Leuven, Belgium
Block or Report
Block or report KoenP
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
LocalAsGlobal
LocalAsGlobal PublicCoq proofs accompanying our paper "Handling Local State with Global State" (submitted to MPC 2019).
Coq
-
streams-in-space
streams-in-space PublicA tiny game to illustrate the use of lazy streams for building interactive systems.
Haskell
-
hsrace
hsrace PublicAn unfinished project where I implement a simple racing game to experiment with arrowized functional reactive programming.
Haskell
-
minisolver
minisolver PublicA simplified model of the GHC constraint solver I made for a research project.
Haskell
-
individueel-project
individueel-project PublicA student project I did in my final Bachelor year where I implemented a graph reduction engine for a Haskell-like language.
Haskell
14 contributions in the last year
| Day of Week | December Dec | January Jan | February Feb | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | |||||||||||||||||||||||||||||||||||||||||
| Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Saturday Sat | |||||||||||||||||||||||||||||||||||||||||||||||||||||

Formed in 2009, the Archive Team (not to be confused with the archive.org Archive-It Team) is a rogue archivist collective dedicated to saving copies of rapidly dying or deleted websites for the sake of history and digital heritage. The group is 100% composed of volunteers and interested parties, and has expanded into a large amount of related projects for saving online and digital history.


