This is your work, valued

France

Mickaël Laurent

Expert
@E-Sh4rk

Postdoc researcher working on type systems and dynamic programming languages.

PokeGlitzer. Pokemon save editor (gen 3) for glitchers

30

EmeraldACE_web. Repository storing predefined codes for the Pokemon Gen3 ACE code generator

19

sstt. Simple Set-Theoretic Types library

18

CodeGenerator. ACE code generator for gen3 Pokemon games.

17

Prototype. Prototype of set-theoretic type system, with polymorphism and type inference.

15

KuruTools. Level editor for the GBA games Kuru Kuru Kururin and Kururin Paradise.

10

MLsem. Type checker for dynamic languages, based on set-theoretic types

9

KururinTAS. Several tools for TASing KuruKuruKururin

8

EmeraldACE_tuto.

8

CodeGeneratorOffline. Python

6

VVVVVV-AI. Python

2

rstt. OCaml

2

ExtendedStory. Causal analysis for the Kappa language.

1

OccurenceTyping. OCaml

1

kappa-stats. A simple tool that takes a Kappa trace and a rule name, and lists values (and corresponding frequencies) taken by each logical site of each agent on which the rule has been applied.

1