PrototypeCommon
TyGuS/suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
- Owner
- TyGuS (organization)
- Stars
- Stars: 131
- Forks
- Forks: 21
- Language
- Scala
- License
- None
- Created
- 2017
- Topics
- separation-logicprogram-synthesisscalasmthoare-logicdeductive-reasoning
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Scala
All Scala repos- joan38/kubernetes-clientStars: 131ScalaPrototype
- bambosan/Bicubic-Shader-BEStars: 131ScalaPrototype
- business4s/workflows4sStars: 131ScalaPrototype
- twitter-archive/standard-projectStars: 131ScalaPrototype
- sbt/sbt-grollStars: 131ScalaPrototype
- jodersky/akka-serialStars: 131ScalaPrototype