Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / AeneasVerif 2 repositories
AeneasVerif/eurydice
Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
Language: OCaml - Size: 3.9 MB - Last synced: 3 days ago - Pushed: 3 days ago - Stars: 8 - Forks: 0
AeneasVerif/charon
Interface with the rustc compiler for the purpose of program verification
Language: Rust - Size: 2.36 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 42 - Forks: 13
AeneasVerif/aeneas
A verification toolchain for Rust programs
Language: OCaml - Size: 5.4 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 112 - Forks: 11