Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / AeneasVerif / charon
Interface with the rustc compiler for the purpose of program verification
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/AeneasVerif%2Fcharon
Stars: 42
Forks: 13
Open Issues: 25
License: apache-2.0
Language: Rust
Repo Size: 2.36 MB
Dependencies:
0
Created: over 2 years ago
Updated: 26 days ago
Last pushed: about 1 month ago
Last synced: about 1 month ago
Topics: compiler, formal-methods, formal-verification, program-verification, rust, rust-lang, static-analysis
Files
No dependencies found