regex-generate / regenerate
Tool to generate test-cases for regular expression engines
☆33Updated last year
Related projects ⓘ
Alternatives and complementary repositories for regenerate
- ☆20Updated last year
- Software construction and deployment kit☆33Updated 2 weeks ago
- Trivial/Tagless Polytypic Functions☆23Updated 4 years ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆34Updated this week
- A simple parser combinator library for Ocaml☆29Updated 3 years ago
- ☆27Updated 5 years ago
- A tool to index your papers/interesting links/... and quickly search through them☆49Updated 2 years ago
- Relational programming for OCaml (unreleased)☆25Updated 2 years ago
- A simple implementation of Discrete Interval Encoding Trees☆28Updated 2 years ago
- Yet another type combinator library☆54Updated 2 years ago
- Notes and findings from our OCaml benchmarking adventures☆48Updated 2 years ago
- Bindings to the various POSIX APIs☆27Updated last year
- Choice operator in OCaml, providing a backtracking monad☆24Updated 2 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- Type-level rational puzzles in OCaml☆22Updated 8 years ago
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆37Updated 3 months ago
- Raspberry Pi boot support for the OCaml system (unreleased)☆55Updated 3 weeks ago
- Self-adjusting computations☆22Updated last year
- Tools for record-and-replay debugging☆42Updated last year
- Persistent vectors for OCaml☆40Updated 6 years ago
- My notes about the Notty library https://github.com/pqwy/notty☆45Updated 3 years ago
- Make OCaml native debugging awesome☆32Updated 4 years ago
- HardCaml implementation of the OCaml ZINC Abstract Machine☆43Updated 4 years ago
- LLIR cross-language post-link optimiser for OCaml and C☆16Updated 2 years ago
- A dumb OCaml logger☆37Updated last year
- OCaml bytecode library tools☆32Updated 2 years ago
- Efficient Bloom filters for OCaml☆36Updated 2 years ago
- Compile-time rewrite rules for OCaml☆18Updated 8 years ago
- Code for "Staged Generic Programming" (ICFP 2017)☆26Updated last year