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

MartinWho2's Repositories

MartinWho2/c-interpreter
An interpreter for a subset of C, written in C
Language:C2
MartinWho2/cemantix-solve
Language:Python1
MartinWho2/Mini-jame-game-14
Language:Python1 1 0
MartinWho2/MP2-2022
Language:Java10
MartinWho2/Jass_tournament
A project for a Jass tournament
Language:Python
MartinWho2/Mobile_game_jam
Language:Python