# TyGuS/suslik

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

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

TyGuS/suslik, dépôt open source à 131 étoiles sur GitHub. Carte Prototype de RepoMasters. Synthesis of Heap-Manipulating Programs from Separation Logic

| Champ | Valeur |
| --- | --- |
| Propriétaire | [TyGuS](https://repo.masters-masters.com/owners/TyGuS) |
| Étoiles | 131 |
| Forks | 21 |
| Langage | [Scala](https://repo.masters-masters.com/languages/scala) |
| Licence | Aucune |
| Création | 2017 |
| Sujets | separation-logic, program-synthesis, scala, smt, hoare-logic, deductive-reasoning |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [TyGuS/suslik](https://github.com/TyGuS/suslik) |

## Fiche du dépôt

Synthesis of Heap-Manipulating Programs from Separation Logic

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## D’autres dépôts Scala

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.