PrototypeCommune
SRI-CSL/PVS
The People's Verification System
- Propriétaire
- SRI-CSL (organisation)
- Étoiles
- Étoiles : 188
- Forks
- Forks : 39
- Langage
- Common Lisp
- Licence
- BSD-3-Clause
- Création
- 2011
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de SRI-CSL
Les 3 dépôts de SRI-CSL- SRI-CSL/yices2Étoiles : 487SMTAlpha
- SRI-CSL/gllvmÉtoiles : 341GoAlpha
D’autres dépôts Common Lisp
Tous les dépôts Common Lisp- slyrus/opticlÉtoiles : 192Common LispPrototype
- luksamuk/powerlispÉtoiles : 191Common LispPrototype
- Lisp-Stat/lisp-statÉtoiles : 191Common LispPrototype
- cl-unix-cybernetics/cl-unix-cyberneticsÉtoiles : 185Common LispPrototype
- SawfishWM/sawfishÉtoiles : 183Common LispPrototype
- fukamachi/lackÉtoiles : 182Common LispPrototype