Simple Set-Theoretic Types library

The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

A repository of multi-language GBA saves for setting up Arbitrary Code Execution in Pokemon Emerald

Repository storing predefined codes for the Pokemon Gen3 ACE code generator

Exercices for transducers classes of MIMUW.

A web-based frontend for RetroArch

The akl url scheme handler for tidy researchers

A Non-Euclidean Rendering Engine for 3D scenes.

An open source command line RatioMaster with an optional WebUI.

English translation of the GBA game Kururin Paradise

Haskell library for building declarative animations based on SVG graphics

Pokemon save editor (gen 3) for glitchers

This project aims to enhance the working environment on Windows

Official Pytorch implementation of the paper "Action-Conditioned 3D Human Motion Synthesis with Transformer VAE", ICCV 2021

The Galène videoconference server

A tool to ease the process of expanding the number of Pokemon in Fire Red. It is meant to be used alongside the Complete FireRed Upgrade.

A complete upgrade for FireRed, including an upgraded Battle Engine.

A timetracker and a page generator

🧢 Reverse engineering tool for the Klonoa's GBA game

Multi-engine SMT-based automatic model checker for safety properties of Lustre programs

Several tools for TASing KuruKuruKururin

A Python library to access Instagram's private API.

The source code to VVVVVV! http://thelettervsixtim.es/

A generic, simple and fast implementation of Deepmind's AlphaZero algorithm.

A well documented, high-level Android interface that makes printing via bluetooth printers easier

Designing a Tool-Assisted Speedrun of Kuru Kuru Kururin (GBA, Europe)

Causal analysis for the Kappa language.