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: 2 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 (about 12 years ago)
- Default Branch: main
- Last Pushed: 2020-06-12T22:28:32.000Z (over 5 years ago)
- Last Synced: 2025-03-11T11:56:49.557Z (10 months ago)
- Topics: formal-methods, formal-models, formal-specification, parser, parser-combinators, peg, vdm, vdm-sl
- Size: 43 KB
- Stars: 0
- Watchers: 4
- Forks: 0
- Open Issues: 0