PrototypeCommune
uclid-org/uclid
UCLID5: formal modeling, verification, and synthesis of computational systems
- Propriétaire
- uclid-org (organisation)
- Étoiles
- Étoiles : 158
- Forks
- Forks : 36
- Langage
- Scala
- Licence
- Aucune
- Création
- 2018
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Scala
Tous les dépôts Scala- jlpteaching/dinocpuÉtoiles : 158ScalaPrototype
- gaelrenoux/tranzactioÉtoiles : 158ScalaPrototype
- wvlet/wvletÉtoiles : 158ScalaPrototype
- JerryLead/SparkLearningÉtoiles : 158ScalaPrototype
- scalamacros/paradiseÉtoiles : 158ScalaPrototype
- saurfang/spark-tsneÉtoiles : 158ScalaPrototype