{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"charon","owner":"AeneasVerif","isFork":false,"description":"Interface with the rustc compiler for the purpose of program verification","allTopics":["static-analysis","rust-lang","formal-methods","program-verification","formal-verification","rust","compiler"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":2,"issueCount":42,"starsCount":66,"forksCount":15,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-07T08:47:36.628Z"}},{"type":"Public","name":"eurydice","owner":"AeneasVerif","isFork":false,"description":"Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":11,"starsCount":21,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-07T07:13:06.808Z"}},{"type":"Public","name":"aeneas","owner":"AeneasVerif","isFork":false,"description":"A verification toolchain for Rust programs","allTopics":["rust","rust-lang","lean","formal-methods","proofs","program-verification","formal-verification","fstar","hol4","deductive-reasoning","compiler","ocaml","coq"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":4,"issueCount":47,"starsCount":168,"forksCount":15,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-07T07:11:58.434Z"}}],"repositoryCount":3,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"AeneasVerif repositories"}