ngernest / micaLinks
A PPX deriver that automates differential testing for OCaml modules
☆25Updated last year
Alternatives and similar repositories for mica
Users that are interested in mica are comparing it to the libraries listed below
Sorting:
- OCaml behind the scenes: exceptions☆31Updated 2 years ago
- A small library to output memory graph for ocaml values☆40Updated last year
- Lock-free Sets and Maps for OCaml multicore☆37Updated 3 years ago
- a small, simple block-backed key-value store for MirageOS☆31Updated 2 months ago
- ☆19Updated last month
- Libraries and tools to keep watch on your OCaml lib's API changes☆22Updated 9 months ago
- A balanced binary search tree library for OCaml☆21Updated last month
- The caml walks, OCaml runs☆19Updated 2 years ago
- Auditively feel the work of the runtime☆33Updated last year
- Tools for record-and-replay debugging☆44Updated 2 years ago
- Memory-efficient data structures in OCaml☆37Updated 4 years ago
- ☆24Updated last year
- Composable byte stream readers and writers for OCaml☆21Updated 2 months ago
- Notes and findings from our OCaml benchmarking adventures☆49Updated 3 years ago
- Notes on OCaml debugging and performance☆16Updated last month
- Script that greps anything in the sources of every opam packages☆25Updated 3 months ago
- ☆31Updated last month
- An ocaml library for manipulating diffs.☆19Updated last year
- Efficient caching library for OCaml☆33Updated 2 years ago
- 6502 chip simulator in OCaml☆13Updated last year
- Command-line and Emacs Calendar Client☆21Updated 2 months ago
- line based patch, input is a unified diff☆24Updated 2 months ago
- Kohai is a very simple (but opinionated) timetracker for my personal usage☆13Updated 2 months ago
- Lower-Kinded Optics for OCaml☆25Updated 9 months ago
- Cpu topology and affinity for ocaml-multicore☆50Updated 4 months ago
- Libbpf C-bindings for OCaml☆24Updated 9 months ago
- Runtime assertion checking based on Gospel specifications☆50Updated 3 weeks ago
- Formatted logs of type-annotated let-bound values, function arguments and results, `if` and `match` branches taken. Optionally, as collap…☆31Updated last month
- A Framework for building Batched Concurrent Services☆21Updated 7 months ago
- Emitter for catapult trace viewer, i.e. chrome://tracing☆16Updated 7 years ago