AlphaPeu commune
epfl-lara/stainless
Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
- Propriétaire
- epfl-lara (organisation)
- Étoiles
- Étoiles : 410
- Forks
- Forks : 62
- Langage
- Scala
- Licence
- Apache-2.0
- Création
- 2016
- Sujets
- verificationscalaformal-methodssmtinoxz3cvc4cvc5model-checkingproof-assistant
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de epfl-lara
Les 3 dépôts de epfl-lara- epfl-lara/leonÉtoiles : 168ScalaPrototype
- epfl-lara/ScalaZ3Étoiles : 127ScalaPrototype
D’autres dépôts Scala
Tous les dépôts Scala- typelevel/log4catsÉtoiles : 416ScalaAlpha
- mesos/kafkaÉtoiles : 413ScalaAlpha
- typelevel/sbt-tpolecatÉtoiles : 410ScalaAlpha
- ReactiveMongo/Play-ReactiveMongoÉtoiles : 409ScalaAlpha
- spray/spray-templateÉtoiles : 408ScalaAlpha
- vlovgr/cirisÉtoiles : 408ScalaAlpha