upenn-cis1xx / camelot
A fully-modular OCaml style linter
☆44Updated last year
Related projects ⓘ
Alternatives and complementary repositories for camelot
- OCaml linter☆67Updated 2 weeks ago
- Runtime assertion checking based on Gospel specifications☆38Updated 3 weeks ago
- Lock-free Sets and Maps for OCaml multicore☆31Updated 2 years ago
- Bindings to io_uring for OCaml☆61Updated 5 months ago
- Fuzzy type search for OCaml documentation☆72Updated 3 months ago
- PBT testsuite and libraries for testing multicore OCaml☆37Updated last week
- Dependency graphs for OCaml modules, libraries and packages☆34Updated 3 months ago
- Meta-preprocessor for OCaml☆77Updated 10 months ago
- OCaml Format pretty-printer combinators☆71Updated 8 months ago
- ☆41Updated last year
- OCaml ppx to include binary data from a file as a string☆76Updated 2 months ago
- Realtime grep for OCaml/Coq sources available on opam☆78Updated 2 months ago
- Monitor Eio programs☆77Updated 8 months ago
- A CI for OCaml projects☆111Updated this week
- IO should be just a library☆23Updated last year
- Pluggable serialization and deserialization of ocaml data strucures based on type_conv☆44Updated 5 months ago
- Irmin-based Markdown Editor☆47Updated 2 years ago
- OCaml with macros☆53Updated this week
- Various signed and unsigned integer types for OCaml☆64Updated this week
- Tools for record-and-replay debugging☆42Updated last year
- OCaml date time handling and reasoning suite☆69Updated this week
- Interactive breakpoints!☆43Updated 6 months ago
- OCaml hacking ideas, small and large.☆19Updated 7 months ago
- This repository contains examples to help on understanding what are and how to write PPXs in OCaml.☆34Updated 2 weeks ago
- OCaml syntax extension for quoting code☆24Updated 2 years ago
- multi-shot continuations in OCaml☆46Updated 3 weeks ago
- Commodity thread pools and concurrency primitives for OCaml 5☆53Updated 3 weeks ago
- Show the internal dependencies in your OCaml/Reason/Dune project☆59Updated this week
- Notes and findings from our OCaml benchmarking adventures☆48Updated 2 years ago
- A library that makes it nicer to work with nested functional data structures☆54Updated this week