https://github.com/bollu/simplexhc-ghc-integration

Plugins to dump simplexhc-compliant STG, and a Sxhc.Base for simplexhc programs
https://github.com/bollu/simplexhc-ghc-integration

Last synced: 20 days ago
JSON representation

Plugins to dump simplexhc-compliant STG, and a Sxhc.Base for simplexhc programs

• Host: GitHub
• URL: https://github.com/bollu/simplexhc-ghc-integration
• Owner: bollu
• License: mit
• Created: 2017-12-23T10:04:25.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2017-12-25T05:57:18.000Z (about 7 years ago)
• Last Synced: 2023-08-04T01:05:27.925Z (over 1 year ago)
• Language: Haskell
• Homepage:
• Size: 6.84 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project