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:
158
Created: over 2 years ago
Updated: 12 days ago
Last pushed: 16 days ago
Last synced: 16 days ago
Topics: compiler, formal-methods, formal-verification, program-verification, rust, rust-lang, static-analysis
Files
Loading...
Readme
Loading...
Dependencies
charon/Cargo.toml
cargo
- assert_cmd 1.0.1 development
- chrono 0.4
- env_logger 0.8.4
- hashlink 0.7.0
- heck 0.3.1
- im 15.0.0
- itertools 0.10.0
- lazy_static 1.4.0
- linked_hash_set 0.1.4
- log 0.4.14
- multimap 0.8.3
- petgraph 0.6.0
- pretty 0.10.0
- regex 1.3.9
- serde 1.0.117
- serde_json 1.0.59
- serial_test 0.5.1
- structopt 0.3.13
- toml 0.5.8
- walkdir 2.3.1
- aho-corasick 0.7.19
- atty 0.2.14
- cfg-if 1.0.0
- env_logger 0.8.4
- hermit-abi 0.1.19
- humantime 2.1.0
- itoa 1.0.5
- libc 0.2.135
- log 0.4.17
- memchr 2.5.0
- proc-macro2 1.0.49
- quote 1.0.23
- regex 1.6.0
- regex-syntax 0.6.27
- ryu 1.0.12
- serde 1.0.152
- serde_derive 1.0.152
- serde_json 1.0.91
- syn 1.0.107
- termcolor 1.1.3
- unicode-ident 1.0.6
- winapi 0.3.9
- winapi-i686-pc-windows-gnu 0.4.0
- winapi-util 0.1.5
- winapi-x86_64-pc-windows-gnu 0.4.0