https://github.com/probcomp/developer

Developer environment for probcomp repos
https://github.com/probcomp/developer

Last synced: 11 months ago
JSON representation

Developer environment for probcomp repos

• Host: GitHub
• URL: https://github.com/probcomp/developer
• Owner: probcomp
• Created: 2017-12-18T22:44:05.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2019-08-07T07:24:13.000Z (over 6 years ago)
• Last Synced: 2025-05-08T22:58:09.762Z (11 months ago)
• Language: Makefile
• Homepage:
• Size: 341 KB
• Stars: 9
• Watchers: 6
• Forks: 4
• Open Issues: 7

Awesome Lists containing this project