Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / TyGuS / suslik

Synthesis of Heap-Manipulating Programs from Separation Logic

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/TyGuS%2Fsuslik

Stars: 121
Forks: 19
Open Issues: 20

License: other
Language: Scala
Repo Size: 8.07 MB
Dependencies: 201

Created: almost 7 years ago
Updated: 5 months ago
Last pushed: about 1 year ago
Last synced: 4 months ago

Topics: deductive-reasoning, hoare-logic, program-synthesis, scala, separation-logic, smt

Files
    Loading...
    Readme
    Loading...
    Dependencies
    package.json npm
    Dockerfile docker
    package-lock.json npm