INRIA / velusLinks

A Lustre compiler in Coq
70Updated last week

Alternatives and similar repositories for velus

Users that are interested in velus are comparing it to the libraries listed below

Sorting: