Marco's repositories
LocalHOFPIter
A conceptual implementation of local higher-order fixpoint iteration
Language:OCamlBSD-3-Clause000
marcosaelzer.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScriptMIT000
pgsolver
A collection of tools for generating, manipulating and - most of all - solving parity games.
Language:OCaml000