art-w / sherlocode
Realtime grep for OCaml/Coq sources available on opam
☆78Updated 2 weeks ago
Related projects: ⓘ
- Fuzzy type search for OCaml documentation☆70Updated 2 months ago
- Interactive breakpoints!☆43Updated 4 months ago
- Build OCaml projects with Nix.☆55Updated last week
- Runtime assertion checking based on Gospel specifications☆37Updated 2 weeks ago
- Irmin-based Markdown Editor☆48Updated last year
- This repository contains examples to help on understanding what are and how to write PPXs in OCaml.☆24Updated this week
- Commodity thread pools and concurrency primitives for OCaml 5☆54Updated last week
- PBT testsuite and libraries for testing multicore OCaml☆37Updated this week
- Lock-free Sets and Maps for OCaml multicore☆31Updated last year
- Cheatsheet for adding command-line options to an OCaml program using cmdliner☆59Updated 2 years ago
- Interoperable effects based concurrency☆81Updated this week
- Dependency graphs for OCaml modules, libraries and packages☆33Updated 2 months ago
- OCaml PPX deriver for reflection☆50Updated last year
- Meta-preprocessor for OCaml☆77Updated 8 months ago
- Monitor Eio programs☆78Updated 6 months ago
- Show the internal dependencies in your OCaml/Reason/Dune project☆59Updated last year
- A CI for OCaml projects☆112Updated this week
- Race detection in OCaml using the ThreadSanitizer runtime analysis.☆20Updated 8 months ago
- A shell library for OCaml☆75Updated 5 months ago
- Documentation of the OCaml implementation☆53Updated last year
- OCaml linter☆64Updated last month
- Native OCaml bindings to Gitlab REST API v4☆27Updated last month
- Tools for record-and-replay debugging☆43Updated last year
- OCaml behind the scenes: exceptions☆30Updated 11 months ago
- OCaml hacking ideas, small and large.☆19Updated 5 months ago
- Bindings to io_uring for OCaml☆62Updated 4 months ago
- A site generator in OCaml 🐫 (OCurrent pipelines too)☆70Updated 2 years ago
- Streamlining the release of dune packages to opam☆116Updated last month
- IO should be just a library☆23Updated last year
- Cpu topology and affinity for ocaml-multicore☆49Updated last month