https://github.com/jmid/regexpanalyser
Lattice valued regular expressions and an example analysis
https://github.com/jmid/regexpanalyser
Last synced: 3 months ago
JSON representation
Lattice valued regular expressions and an example analysis
- Host: GitHub
- URL: https://github.com/jmid/regexpanalyser
- Owner: jmid
- License: bsd-2-clause
- Created: 2016-06-24T07:16:24.000Z (over 9 years ago)
- Default Branch: master
- Last Pushed: 2021-10-03T14:00:57.000Z (over 4 years ago)
- Last Synced: 2024-03-15T19:14:26.401Z (almost 2 years ago)
- Language: OCaml
- Size: 46.9 KB
- Stars: 9
- Watchers: 3
- Forks: 1
- Open Issues: 0