Explore projects

Some developer utilities for CLOS program development

The original version of Vaucanson. You should rather use Vcsn now.

Debian package to distribute the divine binary patched for LTSmin.

Scala library containing many functions which Scala developers coming from Common Lisp will miss.

Builds the docker image that runs on spot-sandbox.lrde.epita.fr.

Data generated from lisp-types package

LDNS is a DNS library that facilitates DNS tool programming

Build an archlinux package using aur:vcsn-git.

Student templates for SCALAIN-E

Code sample for paper at repo: https://gitlab.lrde.epita.fr/carlinet/roynard.2020.icip

Emacs support for features related to Spot.

The point of this tool is to learn a Computation Tree Logic (CTL) formula that separates a set of positive and negative Kripke structures, i.e. is verified by the former but not the latter. For more details, please read the companion article: http://arxiv.org/abs/2402.06366