https://plast-lab.github.io/doop-pldi15-tutorial/

Tutorial site for PLDI 2015
https://plast-lab.github.io/doop-pldi15-tutorial/

Last synced: 6 months ago
JSON representation

Tutorial site for PLDI 2015

• Host: GitHub
• URL: https://plast-lab.github.io/doop-pldi15-tutorial/
• Owner: plast-lab
• Created: 2015-03-11T11:42:30.000Z (over 10 years ago)
• Default Branch: gh-pages
• Last Pushed: 2020-01-04T17:34:57.000Z (almost 6 years ago)
• Last Synced: 2024-11-18T07:08:01.929Z (12 months ago)
• Language: CSS
• Size: 827 KB
• Stars: 5
• Watchers: 11
• Forks: 3
• Open Issues: 1

Awesome Lists containing this project

• trackawesomelist - Doop - to-end (fact generation, processing, statistics, etc.). (Recently Updated / [Nov 16, 2024](/content/2024/11/16/README.md))