INRIA / velus

A Lustre compiler in Coq

INRIA
INRIA
Date Created 2019-10-21 (5 years ago)
Commits 1,572 (last one about a year ago)
Stargazers 63 (0 this week)
Watchers 10 (0 this week)
Forks 6
License other
Ranking

RepositoryStats indexes 595,856 repositories, of these INRIA/velus is ranked #402,313 (32nd percentile) for total stargazers, and #207,845 for total watchers. Github reports the primary language for this repository as Coq, for repositories using this language it is ranked #77/106.

Other Information

There have been 2 releases, the latest one was published on 2022-01-06 (2 years ago) with the name v3.0.0.

Homepage URL: https://velus.inria.fr

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

67 commits on the default branch (emsoft23-artifact) since jan '22

Yearly Commits

Commits to the default branch (emsoft23-artifact) per year

Issue History

Languages

The primary language is Coq but there's also others...

Opengraph Image
INRIA/velus

updated: 2024-12-10 @ 04:12am, id: 216652056 / R_kgDODOnZGA