Explore projects

The point of this tool is to learn a Pomset Recognizer (PR) or a Tree Automaton (TA, not implemented yet) by querying a Minimally Adequate Teacher (MAT). For more details, please read the companion article: https://arxiv.org/abs/2501.03914

LDNS is a DNS library that facilitates DNS tool programming

repo to help with debugging a suspected git vs gitkraken problem

Python bindings of Pylene (in development)

Dockerfiles for constructing build environments for Spot

PaInleSS: a Framework for Parallel SAT Solving.

Debian packaging of Spins (from LTSmin)

Scala code for Mississippi Governor's School

Jupiter code

Petri-Net model checker (obsolete demo for Spot)

Implementation of RTE (rational type expressions) in Python