https://github.com/namin/lms-verify
generative programming & verification
https://github.com/namin/lms-verify
c frama-c generative-programming multi-stage-programming scala verification
Last synced: 9 months ago
JSON representation
generative programming & verification
- Host: GitHub
- URL: https://github.com/namin/lms-verify
- Owner: namin
- Created: 2015-07-27T15:04:11.000Z (over 10 years ago)
- Default Branch: master
- Last Pushed: 2021-11-20T06:05:22.000Z (about 4 years ago)
- Last Synced: 2024-10-11T21:47:49.571Z (about 1 year ago)
- Topics: c, frama-c, generative-programming, multi-stage-programming, scala, verification
- Language: C
- Homepage:
- Size: 873 KB
- Stars: 31
- Watchers: 5
- Forks: 5
- Open Issues: 1