Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/kraks/verifyo
Experiments with writing relational verifier/synthesizer in miniKanren.
https://github.com/kraks/verifyo
Last synced: 14 days ago
JSON representation
Experiments with writing relational verifier/synthesizer in miniKanren.
- Host: GitHub
- URL: https://github.com/kraks/verifyo
- Owner: Kraks
- Created: 2019-04-08T15:46:32.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2019-05-22T19:28:43.000Z (over 5 years ago)
- Last Synced: 2024-10-11T21:51:49.410Z (about 1 month ago)
- Language: Scheme
- Homepage:
- Size: 638 KB
- Stars: 10
- Watchers: 5
- Forks: 2
- Open Issues: 1