Marijn van der Horst's repositories
factions-top
An efficient and comprehensive factions ranking system
Language:JavaMIT000
Laravel-Passport
[READ ONLY] Subtree split of the SocialiteProviders/LaravelPassport Provider (see SocialiteProviders/Providers)
Providers
A Collection of Providers for Laravel Socialite
Language:PHPMIT000
pvt-2020-assignments
Code for the Program Verification Techniques (2IMP10) assignments
Language:Dafny000
sudoku-twins-solver
Sudoku Twins Solver