AeneasVerif / eurydice

Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.

Date Created 2023-07-11 (about a year ago)
Commits 573 (last one a day ago)
Stargazers 33 (0 this week)
Watchers 4 (0 this week)
Forks 1
License apache-2.0
Ranking

RepositoryStats indexes 618,350 repositories, of these AeneasVerif/eurydice is ranked #574,036 (7th percentile) for total stargazers, and #382,403 for total watchers. Github reports the primary language for this repository as OCaml, for repositories using this language it is ranked #687/723.

Other Information

AeneasVerif/eurydice has 1 open pull request on Github, 100 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 15 open issues and 24 closed issues.

Star History

Github stargazers over time

3535303025252020151510105500Feb '24Feb '24Mar '24Mar '24Apr '24Apr '24May '24May '24Jun '24Jun '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Watcher History

Github watchers over time, collection started in '23

5555444444333320 Dec20 DecJan '25Jan '2510 Jan10 Jan20 Jan20 JanFeb '25Feb '2510 Feb10 Feb20 Feb20 Feb

Recent Commit History

573 commits on the default branch (main) since jan '22

60060050050040040030030020020010010000Aug '23Aug '23Sep '23Sep '23Oct '23Oct '23Nov '23Nov '23Dec '23Dec '2320242024Feb '24Feb '24Mar '24Mar '24Apr '24Apr '24May '24May '24Jun '24Jun '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Yearly Commits

Commits to the default branch (main) per year

40040035035030030025025020020015015010010050500020242024

Issue History

Total Issues
Open Issues
Closed Issues
40403535303025252020151510105500May '24May '24Jun '24Jun '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Languages

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

OCamlOCamlCCRustRustNixNixMakefileMakefileShellShellDuneDune

updated: 2025-02-22 @ 01:55am, id: 664871763 / R_kgDOJ6EjUw