Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

uclid-org/uclid

UCLID5: formal modeling, verification, and synthesis of computational systems

Owner: uclid-org (organization)
Stars: Stars: 158
Forks: Forks: 36
Language: Scala
License: None
Created: 2018
Tier: Prototype (100 to 249 ★) What this tier means

Nearby in Scala

All Scala repos

jlpteaching/dinocpuStars: 158ScalaPrototype
gaelrenoux/tranzactioStars: 158ScalaPrototype
wvlet/wvletStars: 158ScalaPrototype
JerryLead/SparkLearningStars: 158ScalaPrototype
scalamacros/paradiseStars: 158ScalaPrototype
saurfang/spark-tsneStars: 158ScalaPrototype