https://github.com/Drup/tyre

Typed Regular Expressions
https://github.com/Drup/tyre

gadt ocaml regex types

Last synced: about 2 months ago
JSON representation

Typed Regular Expressions

• Host: GitHub
• URL: https://github.com/Drup/tyre
• Owner: Drup
• License: isc
• Created: 2016-05-21T03:24:14.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2020-01-24T17:22:45.000Z (over 4 years ago)
• Last Synced: 2024-04-23T15:31:11.599Z (5 months ago)
• Topics: gadt, ocaml, regex, types
• Language: OCaml
• Homepage: https://drup.github.io/tyre/doc/dev/tyre/Tyre/index.html
• Size: 309 KB
• Stars: 167
• Watchers: 10
• Forks: 3
• Open Issues: 6

Awesome Lists containing this project

• awesome-list - tyre