Ecosyste.ms: Repos

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

GitHub / UCSD-PL / algorithmic-software-verification

Course Materials for Graduate Class on Algorithmic Software Verification

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/UCSD-PL%2Falgorithmic-software-verification

Stars: 5
Forks: 8
Open Issues: 0

License: None
Language: Haskell
Repo Size: 15.1 MB
Dependencies: 17

Created: about 11 years ago
Updated: about 2 months ago
Last pushed: almost 11 years ago
Last synced: about 1 month ago

Files
    Loading...
    Readme
    Loading...
    Dependencies
    assignments/hw2-liquid/nano-js.cabal hackage