MartinWho2
I am a CS student at EPFL in Lausanne, currently in exchange at KAIST. I enjoy participating in CTFs and coding small videogames with pygame
Switzerland
Pinned Repositories
writeups
Writeups of various CTFs
SpecMerger
Conformance Checker for Specifications
Warblre
A Coq Mechanization of ECMAScript 2023 Regexes
c-interpreter
An interpreter for a subset of C, written in C
cemantix-solve
Jass_tournament
A project for a Jass tournament
Mini-jame-game-14
Mobile_game_jam
MP2-2022
MartinWho2's Repositories
MartinWho2/c-interpreter
An interpreter for a subset of C, written in C
MartinWho2/cemantix-solve
MartinWho2/Mini-jame-game-14
MartinWho2/MP2-2022
MartinWho2/Jass_tournament
A project for a Jass tournament
MartinWho2/Mobile_game_jam