Reglo

Reglo compile regular expressions into logical circuits (in Lustre).

User manual