This is stars and forks stats for /AeneasVerif/aeneas repository. As of 27 Apr, 2024 this repository has 65 stars and 8 forks.
Unknown author, Iapyx removing arrowhead from Aeneas [Fresco]. Wall in Pompei, digital image from Michael Lahanis. Source Aeneas Aeneas is a verification toolchain for Rust programs. It relies on a translation from Rusts's MIR internal language to a pure lamdba calculus. It is intended to be used in combination with Charon, which compiles Rust programs to an intermediate representation called LLBC. It currently has backends for F*, Coq, HOL4 and LEAN. If you want to contribute or ask questions,...
Unknown author, Iapyx removing arrowhead from Aeneas [Fresco]. Wall in Pompei, digital image from Michael Lahanis. Source Aeneas Aeneas is a verification toolchain for Rust programs. It relies on a translation from Rusts's MIR internal language to a pure lamdba calculus. It is intended to be used in combination with Charon, which compiles Rust programs to an intermediate representation called LLBC. It currently has backends for F*, Coq, HOL4 and LEAN. If you want to contribute or ask questions,...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| sympa-community/sympa | PerlCSSMakefile | 218 | 0 | 80 | 0 |
| Demindiro/agreper | PythonHTMLShell | 655 | 0 | 25 | 0 |
| raphamorim/rio | RustOther | 2.2k | 0 | 67 | 0 |
| DaniSProfe/DAWM8-P4 | SCSSHTML | 0 | 0 | 11 | 0 |
| ReVanced/revanced-website | SvelteTypeScriptSCSS | 202 | +1 | 38 | 0 |
| null-dev/firefox-profile-switcher | SvelteTypeScriptKotlin | 267 | 0 | 18 | 0 |
| OPAE/ofs-platform-afu-bbb | SystemVerilogCTcl | 12 | 0 | 8 | 0 |
| fpgasystems/Coyote-CIRCT | SystemVerilogMLIRC++ | 4 | 0 | 1 | 0 |
| krzysztofrewak/pwsz-inf-resources | TeXC#Java | 5 | 0 | 83 | 0 |
| uupaa/dotfiles | Vim ScriptShellJavaScript | 0 | 0 | 0 | 0 |