Simple CNF generation framework and interface to CryptoMiniSAT for Python 3.
A repository containing my configuration files.
A new website for the Dolphin emulator project.
Configuration and tools used for the Dolphin project servers (Buildbot, symbol server, dump collector, builds downloads, etc.)
Repository for our InfoSPÉ project at EPITA.
A few graphics program for the Wii in order to test behavior of the GPU and check if emulators do it right.
Tools used to create an undubbed version of Baten Kaitos, a Gamecube JRPG released with (IMHO) awful english voice acting.
A branch of Dolphin dedicated to DSP emulation using LLVM for code generation.
Repo pour le dev de Stechec pour la finale 2010.
A fancy, colored text test runner for Python 2.x unittest module.