Auto-formatter for OCaml code
☆19Feb 24, 2026Updated last week
Alternatives and similar repositories for ocamlformat
Users that are interested in ocamlformat are comparing it to the libraries listed below
Sorting:
- Prettyprinting transformers for rainbow parens, precedence, etc.☆16Feb 27, 2022Updated 4 years ago
- a ppx_deriving plugin for crowbar generators☆20Jul 1, 2019Updated 6 years ago
- CRAM testing framework☆22Sep 9, 2019Updated 6 years ago
- Self-adjusting computations☆23Oct 9, 2023Updated 2 years ago
- runtime library and code-generator for BARE (https://baremessages.org/)☆23Aug 16, 2024Updated last year
- A pretty-printing combinator library for OCaml☆50Aug 7, 2024Updated last year
- An OCaml toplevel (REPL) upgrade☆92Jul 29, 2025Updated 7 months ago
- Haskell monad transformer for weighted, non-deterministic computation☆32Jan 26, 2025Updated last year
- High-performance JSON parser☆26Jul 14, 2025Updated 7 months ago
- A small library used to shadow polymorphic operators (and functions) contained in the stdlib.☆29Nov 1, 2022Updated 3 years ago
- higher-kinded data☆30May 16, 2023Updated 2 years ago
- Binding to Cairo, a 2D Vector Graphics Library.☆57Nov 8, 2024Updated last year
- OCaml plus Jane Street extensions☆73Jul 17, 2024Updated last year
- A library that makes it nicer to work with nested functional data structures☆61Jan 15, 2026Updated last month
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Jan 1, 2024Updated 2 years ago
- Simple hash algorithms in OCaml☆93May 21, 2025Updated 9 months ago
- A flexible and extensible form package in Elm that uses the platform.☆11Jul 8, 2024Updated last year
- ☆11Oct 25, 2024Updated last year
- OCaml grammar for tree-sitter☆89May 31, 2025Updated 9 months ago
- Shackled within an elaborate prison of my own design.☆39Nov 14, 2023Updated 2 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- ☆12Mar 13, 2025Updated 11 months ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Automated market maker algorithms, deployment fixtures and controls for Lyra V2 markets☆18Feb 23, 2026Updated last week
- 🚀 Smallest event emitter for JavaScript with all the power of ES6 Maps!☆11Jul 25, 2019Updated 6 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it w…☆43Mar 27, 2025Updated 11 months ago
- Presentations on Liquid Haskell, type theory, and more☆45Oct 24, 2024Updated last year
- Git mergetool leveraging code formatters.☆39Jun 2, 2025Updated 9 months ago
- ☆45Jun 11, 2023Updated 2 years ago
- S-expression swiss knife☆49Jan 15, 2026Updated last month
- tired of typing afl-fuzz? try bun!☆53Jul 4, 2023Updated 2 years ago
- A modular sat/smt solver with proof output.☆102Jan 8, 2024Updated 2 years ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 7 years ago
- (mirror) OCaml bindings to Qt toolkit.☆65Sep 17, 2019Updated 6 years ago
- Faceted execution in Racket☆11Sep 11, 2018Updated 7 years ago