AeneasVerif / charon

Interface with the rustc compiler for the purpose of program verification

Date Created 2021-10-21 (3 years ago)

Commits 2,050 (last one a day ago)

Stargazers 105 (1 this week)

Watchers 5 (0 this week)

Forks 17

License apache-2.0

Ranking

RepositoryStats indexes 585,880 repositories, of these AeneasVerif/charon is ranked #281,600 (52nd percentile) for total stargazers, and #332,676 for total watchers. Github reports the primary language for this repository as Rust, for repositories using this language it is ranked #7,771/16,767.

AeneasVerif/charon is also tagged with popular topics, for these it's ranked: rust (#4,061/7206), compiler (#670/1054), rust-lang (#324/598), static-analysis (#348/508)

Other Information

AeneasVerif/charon has 6 open pull requests on Github, 302 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 45 open issues and 107 closed issues.

Homepage URL: https://aeneasverif.github.io/charon/charon_lib/index.html

All Topics

rust compiler rust-lang formal-methods static-analysis formal-verification program-verification

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

1,942 commits on the default branch (main) since jan '22

Yearly Commits

Commits to the default branch (main) per year

Issue History

Languages

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

updated: 2024-11-23 @ 02:10am, id: 419729872 / R_kgDOGQSR0A