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
Language:Python01
SpecMerger
Conformance Checker for Specifications
Language:Python0 2 00
Warblre
A Coq Mechanization of ECMAScript 2023 Regexes
Language:OCaml4 3 00
c-interpreter
An interpreter for a subset of C, written in C
Language:C20
cemantix-solve
Language:Python10
Jass_tournament
A project for a Jass tournament
Language:Python00
Mini-jame-game-14
Language:Python1 1 00
Mobile_game_jam
Language:Python00
MP2-2022
Language:Java10

MartinWho2's Repositories

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