https://github.com/tomooda/vcparser
A little combinatory parser in VDM-SL
https://github.com/tomooda/vcparser
formal-methods formal-models formal-specification parser parser-combinators peg vdm vdm-sl
Last synced: 3 months ago
JSON representation
A little combinatory parser in VDM-SL
- Host: GitHub
- URL: https://github.com/tomooda/vcparser
- Owner: tomooda
- License: mit
- Created: 2013-12-09T02:11:57.000Z (over 11 years ago)
- Default Branch: main
- Last Pushed: 2020-06-12T22:28:32.000Z (almost 5 years ago)
- Last Synced: 2025-01-18T01:44:21.186Z (4 months ago)
- Topics: formal-methods, formal-models, formal-specification, parser, parser-combinators, peg, vdm, vdm-sl
- Size: 43 KB
- Stars: 0
- Watchers: 5
- Forks: 0
- Open Issues: 0