ethanrange / safe-pattern-generationLinks
Type-safe statically unknown pattern generation in MetaOCaml
☆12Updated last year
Alternatives and similar repositories for safe-pattern-generation
Users that are interested in safe-pattern-generation are comparing it to the libraries listed below
Sorting:
- ☆31Updated 2 months ago
- For Jar artifacts☆15Updated last month
- A Framework for building Batched Concurrent Services☆21Updated 3 months ago
- Convert Markdown and YAML Data to OCaml Modules☆17Updated 2 years ago
- Extract snippets from code specified by comments.☆11Updated 10 months ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.☆28Updated last month
- A Coq plugin that implements exceptions in Coq