https://github.com/yutopp/k-metaml
https://github.com/yutopp/k-metaml
Last synced: about 2 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/yutopp/k-metaml
- Owner: yutopp
- License: bsl-1.0
- Created: 2015-11-23T21:13:49.000Z (over 10 years ago)
- Default Branch: master
- Last Pushed: 2015-12-14T05:29:32.000Z (over 10 years ago)
- Last Synced: 2026-01-02T03:39:24.244Z (5 months ago)
- Language: Ruby
- Size: 48.8 KB
- Stars: 2
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE_1_0.txt
Awesome Lists containing this project
README
## K-MetaML
## Requirement
- [K](https://github.com/kframework/k) (a7673ca)
## License
Boost License Version 1.0