Drup / pumping
Regular languages in types
☆22Updated 7 years ago
Alternatives and similar repositories for pumping:
Users that are interested in pumping are comparing it to the libraries listed below
- Emacs client for statistical memory profiler☆16Updated 4 years ago
- Code using GADT☆37Updated 3 years ago
- Graphs of the various type conversions provided by the OCaml standard library.☆34Updated 4 years ago
- ☆20Updated 5 years ago
- Community-driven guide to write good documentation for OCaml libraries.☆27Updated 6 years ago
- Bot posting reports on opam-repository pull-request using a web hook☆18Updated 4 years ago
- A small script to create short-lived OPAM compiler switches from experimental OCaml branches☆18Updated 6 years ago
- Nullable-array is a small self-contained library providing an efficient implementation for a type equivalent to `'a option array`☆17Updated 3 years ago
- OCaml behind the scenes: exceptions☆30Updated last year
- A simple implementation of Discrete Interval Encoding Trees☆28Updated 2 years ago
- [beta] persistent memoization of computations, e.g. for repeatable tests and benchmarks☆17Updated 5 years ago
- Script that greps anything in the sources of every opam packages☆24Updated 2 years ago
- ☆21Updated last year
- A small library for convenient printf debugging and function tracing☆27Updated 2 years ago
- Port of HTTP/AF & H2 with Mirage and mimic☆30Updated this week
- Relational programming for OCaml (unreleased)☆25Updated 2 years ago
- A session manager for your everyday needs☆44Updated 2 years ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆34Updated this week
- Pretty-printing for error source locations☆36Updated 2 years ago
- A tool that creates stand-alone source bundles from opam packages☆26Updated last year
- Strongly typed multidimensional array library for OCaml☆52Updated 3 weeks ago
- Library to provide session types to allow for static verification of protocols between concurrent computations.☆17Updated 8 years ago
- Make interactive text-oriented user-interfaces for OCaml☆23Updated 5 years ago
- A small library used to shadow polymorphic operators (and functions) contained in the stdlib.☆29Updated 2 years ago
- Monotonic wall-clock time for OCaml☆32Updated 5 months ago
- Scrap Your Boilerplate for OCaml with modular implicits☆19Updated last year
- OCaml SDL2_image bindings to go with Tsdl☆14Updated 3 years ago
- Overlay over bigarrays of chars☆14Updated 4 years ago
- J'ai plus mal à la tête maintenant☆26Updated 2 months ago
- Lock-free Sets and Maps for OCaml multicore☆31Updated 2 years ago