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
cemantix-solve
c-interpreter
An interpreter for a subset of C, written in C
Warblre
A Coq Mechanization of ECMAScript 2023 Regexes
SpecMerger
Conformance Checker for Specifications
Mini-jame-game-14
MP2-2022
Jass_tournament
A project for a Jass tournament
Mobile_game_jam
writeups
Writeups of various CTFs
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