PrototypeCommon
SRI-CSL/PVS
The People's Verification System
- Owner
- SRI-CSL (organization)
- Stars
- Stars: 188
- Forks
- Forks: 39
- Language
- Common Lisp
- License
- BSD-3-Clause
- Created
- 2011
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by SRI-CSL
All 3 repos by SRI-CSL- SRI-CSL/yices2Stars: 487SMTAlpha
- SRI-CSL/gllvmStars: 341GoAlpha
Nearby in Common Lisp
All Common Lisp repos- slyrus/opticlStars: 192Common LispPrototype
- luksamuk/powerlispStars: 191Common LispPrototype
- Lisp-Stat/lisp-statStars: 191Common LispPrototype
- cl-unix-cybernetics/cl-unix-cyberneticsStars: 185Common LispPrototype
- SawfishWM/sawfishStars: 183Common LispPrototype
- fukamachi/lackStars: 182Common LispPrototype