AeneasVerif/charon
Interface with the rustc compiler for the purpose of program verification
RustApache-2.0
Stargazers
- Andful
- auronandaceWales, UK
- clarusFormal Land
- damienstantonPwC
- dbscÉcole Polytechnique
- dipeshkaphle@delta
- doomhammerhellUiO
- Dwarfobserver
- ejmg
- Erk-
- firefighterduck
- gboroughMelbourne Australia
- hardBSDkRedox OS
- hiroki-chenUnemployed
- jhwohlgemuthOak Ridge National Laboratory
- jieyouxuShanghai, China
- Kensuke-Hinataredocpot
- kkogoroChina
- luisholanda@terramagna
- markhakanssonDuctus
- R1kM
- romac@informalsystems
- sambacha@manifoldfinance
- smondetNew York, NY
- soareschen@maybevoid
- sonmarchoInria
- stonebuddhaPeking University
- thaodt@LitheumOrg @bicarus-labs
- timsueberkrueb@aleph-alpha
- unsoundsystemJapan
- vakaras
- valpackettArgentina ⭐⭐⭐
- VitalyAnkhMars
- voidcGermany
- vovunku
- zhassan-awsAWS