marcoeilers/nagini
Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
PythonMPL-2.0
Stargazers
- 0xhariIrvine, CA
- acatton@google
- achudnovThe D. E. Shaw Group
- akshayjshah@bufbuild
- aragilarAAO, Macquarie University
- bpartridge@hvntravel & @belstone
- D9ping
- davidbolvanskyBrno, CZ / Pribylina, SK
- dbkaplun
- denjiKyiv, UA
- dmatysiak
- egor-dolzhenko@PacificBiosciences
- evan-burkeOakland, CA
- hongxuchenShenzhen, Guangdong, China
- itegebo
- jdotjdot@CampusJob
- jnovingerElias Sports Bureau
- johanfforsberg
- juanrhRed Hat
- KelSolaarTechnology Supervisor @ Wētā FX
- ksindi@runwayml
- lookuptables
- mdamien
- meeechmontreal
- mklemm2arago GmbH
- nicolashahnMeta
- nikolay@withcodery
- playertwo
- pothos@kinvolk @microsoft
- psrikhanta
- richdoughertyNew Zealand
- rovaughnRovaughn, LLC
- Sumith1896@Stability-AI
- svisserLondon, United Kingdom
- willmoore
- zoltan-nzVictoria University of Wellington, ex-Worktango, ex-Westpac, ex-ANZ, ex-Vend/Lightspeed, ex-Sailthru, ex-Pro7Sat1, ex-DailyMail, ex-Sanoma