AeneasVerif/

aeneas

A verification toolchain for Rust programs

GitHub aeneasverif.github.io

Start here

Open issues, live

Unassigned, straight from GitHub

Facts

Stars: 996
Forks: 113
License: Apache-2.0
Last commit: 22h ago
Replies in: ~30d
Good first issues: 7
Help wanted: 0
Language: OCaml
Fields: Compilers & Languages

Topics: #compiler #coq #deductive-reasoning #formal-methods #formal-verification #fstar #hol4 #lean

Why this score

52

Some assembly required to new contributors, out of 100.

Issues to pick from15/25
7 open good first issues
Recent activity20/20
Last commit 22 hours ago
Maintainer replies0/15
Maintainers usually reply in ~30d
Onboarding2/15
No CONTRIBUTING guide and a clear description
Up for grabs11/15
5 of the 7 newest good first issues are unassigned
Reach4/10
996 stars, so your work gets seen

First-PR friendly needs:

Not met: Score of 60 or more
Met: At least 3 good first issues
Not met: A CONTRIBUTING guide
Not met: Replies within 3 days

Flag this repo (wrong data, not welcoming, gone)