Software

FAdo tools for formal languages manipulation
DesCo Descriptional Complexity Database
Yappy a parser generator for Python
TMsim Turing machine simulator
Apoo an environment for a first course in assembly language programming
PDCoq Formalizing Kleene Algebras in Coq
KATml KA, KAT,PHL decision procedures in OCAML
KATEXP, KAT decision procedures in Python