Beast code in Giters

Marco's repositories

A conceptual implementation of local higher-order fixpoint iteration

Language:OCamlBSD-3-Clause000

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

Language:JavaScriptMIT000

Benchmarks for the DNN to FA translation proposed in 'Verifying Output Reachability of Neural Networks Using Finite Automata'

Language:Python020

A collection of tools for generating, manipulating and - most of all - solving parity games.

Language:OCaml000