ethanrange / safe-pattern-generation
Type-safe statically unknown pattern generation in MetaOCaml
☆11Updated 10 months ago
Alternatives and similar repositories for safe-pattern-generation:
Users that are interested in safe-pattern-generation are comparing it to the libraries listed below
- ☆29Updated last month
- Heterogeneously-typed lists for OCaml☆12Updated 2 years ago
- A Framework for building Batched Concurrent Services☆21Updated 6 months ago
- flexible 'let rec' generation for MetaOCaml☆26Updated last year
- multi-shot continuations in OCaml☆48Updated 2 months ago
- ☆12Updated 4 years ago
- Algebraic structures in OCaml.☆23Updated last month
- A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.☆28Updated this week
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- 🩺 A library for compiler diagnostics☆44Updated 2 months ago
- Examples to illustrate the use of experimental OCaml macros☆12Updated 7 years ago
- ☆23Updated 6 months ago
- ☆14Updated last week
- Coq development accompanying the paper "Efficient Extensional Binary Tries"☆22Updated last year
- Lower-Kinded Optics for OCaml☆23Updated last month
- An OCaml library for creating pandoc filters.☆31Updated 6 months ago
- OCaml interface to the GMP library☆13Updated last year
- A Coq plugin that implements exceptions in Coq☆13Updated 4 years ago
- Refinement types encoded with private types in OCaml.☆10Updated 4 years ago
- ☆15Updated 9 years ago
- 🔙 Backward lists for OCaml☆22Updated 6 months ago
- A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming lan…☆17Updated last year
- Kleene algebra modulo theories☆27Updated 2 years ago
- PBT testsuite and libraries for testing multicore OCaml☆39Updated this week
- Convert Markdown and YAML Data to OCaml Modules☆17Updated 2 years ago
- OCaml bindings to Minisat☆12Updated 11 months ago
- Efficient binder representation in OCaml☆42Updated 9 months ago
- Lock-free Sets and Maps for OCaml multicore☆32Updated 2 years ago
- Dynamic tuning for the OCaml garbage collector☆16Updated 3 weeks ago
- IO should be just a library☆23Updated last year