Explore projects

Debian package to distribute the divine binary patched for LTSmin.

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

Data generated from lisp-types package

This is an open solution to the https://endocv.grand-challenge.org/

Online application for rewriting LTL formula or translating them into automata.

Student templates for SCALAIN-E

Build an archlinux package using aur:vcsn-git.

Everything on my master internship from my return to Paris the 2 june. I have problems concerning the original project because of very heavy data files in the repository history, that's why I'm starting a new one. I'll try to keep this one cleaner!