Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/se2p/artifact-ase2020
Replication package for our paper "Verified from Scratch: Program Analysis for Learners’ Programs"
https://github.com/se2p/artifact-ase2020
Last synced: 20 days ago
JSON representation
Replication package for our paper "Verified from Scratch: Program Analysis for Learners’ Programs"
- Host: GitHub
- URL: https://github.com/se2p/artifact-ase2020
- Owner: se2p
- Created: 2020-08-25T08:01:56.000Z (over 4 years ago)
- Default Branch: master
- Last Pushed: 2020-09-01T13:05:37.000Z (over 4 years ago)
- Last Synced: 2023-09-08T17:58:08.886Z (over 1 year ago)
- Language: SuperCollider
- Size: 101 MB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0