INRIA / velusLinks

A Lustre compiler in Coq
70Updated last month

Alternatives and similar repositories for velus

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

Sorting: