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 days 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 9 years ago)
• Default Branch: master
• Last Pushed: 2021-11-20T06:05:22.000Z (almost 3 years ago)
• Last Synced: 2024-10-11T21:47:49.571Z (26 days 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

Awesome Lists containing this project