# TyGuS/suslik

<https://repo.masters-masters.com/en/repos/TyGuS/suslik>

[Home](https://repo.masters-masters.com/en) › [TyGuS](https://repo.masters-masters.com/en/owners/TyGuS) › [suslik](https://repo.masters-masters.com/en/repos/TyGuS/suslik)

TyGuS/suslik has 131 stars on GitHub. Its RepoMasters card: Prototype tier. Synthesis of Heap-Manipulating Programs from Separation Logic Language: Scala.

| Field | Value |
| --- | --- |
| Owner | [TyGuS](https://repo.masters-masters.com/en/owners/TyGuS) |
| Stars | 131 |
| Forks | 21 |
| Language | [Scala](https://repo.masters-masters.com/en/languages/scala) |
| License | None |
| Created | 2017 |
| Topics | separation-logic, program-synthesis, scala, smt, hoare-logic, deductive-reasoning |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [TyGuS/suslik](https://github.com/TyGuS/suslik) |

## Repository

Synthesis of Heap-Manipulating Programs from Separation Logic

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## Nearby in Scala

- [joan38/kubernetes-client · ★ 131 · Scala · Prototype](https://repo.masters-masters.com/en/repos/joan38/kubernetes-client)
- [bambosan/Bicubic-Shader-BE · ★ 131 · Scala · Prototype](https://repo.masters-masters.com/en/repos/bambosan/Bicubic-Shader-BE)
- [business4s/workflows4s · ★ 131 · Scala · Prototype](https://repo.masters-masters.com/en/repos/business4s/workflows4s)
- [twitter-archive/standard-project · ★ 131 · Scala · Prototype](https://repo.masters-masters.com/en/repos/twitter-archive/standard-project)
- [sbt/sbt-groll · ★ 131 · Scala · Prototype](https://repo.masters-masters.com/en/repos/sbt/sbt-groll)
- [jodersky/akka-serial · ★ 131 · Scala · Prototype](https://repo.masters-masters.com/en/repos/jodersky/akka-serial)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.