AeneasVerif / charon

Interface with the rustc compiler for the purpose of program verification

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

Commits 2,400 (last one 15 hours ago)

Stargazers 119 (1 this week)

Watchers 4 (0 this week)

Forks 19

License apache-2.0

Ranking

RepositoryStats indexes 625,486 repositories, of these AeneasVerif/charon is ranked #270,279 (57th percentile) for total stargazers, and #363,567 for total watchers. Github reports the primary language for this repository as Rust, for repositories using this language it is ranked #7,634/18,192.

AeneasVerif/charon is also tagged with popular topics, for these it's ranked: rust (#3,981/7660), compiler (#657/1082), rust-lang (#326/650), static-analysis (#353/525)

Other Information

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

Github issues are enabled, there are 54 open issues and 137 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

2,288 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: 2025-03-10 @ 04:11pm, id: 419729872 / R_kgDOGQSR0A