Type and doc on hover for OCaml and Reason in emacs
☆45Feb 13, 2023Updated 3 years ago
Alternatives and similar repositories for merlin-eldoc
Users that are interested in merlin-eldoc are comparing it to the libraries listed below
Sorting:
- Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]☆11Jun 30, 2024Updated last year
- Binding in Js_of_ocaml for the BroadcastChannel API☆10Feb 13, 2020Updated 6 years ago
- A prototype to write blog posts with executable ocaml code blocks☆10Apr 25, 2025Updated 10 months ago
- Community-driven guide to write good documentation for OCaml libraries.☆28Jun 22, 2018Updated 7 years ago
- OCaml support for Flycheck using Merlin☆22Jan 6, 2024Updated 2 years ago
- A Kotlin multi-platform library providing some functional programming idioms and user defined effects.☆15Jan 5, 2024Updated 2 years ago
- LINQ-like combinators for manipulating collections of in-memory data☆16Sep 21, 2020Updated 5 years ago
- OCaml interpreter☆103Sep 2, 2019Updated 6 years ago
- ☆18Jul 31, 2025Updated 7 months ago
- persistent-mode afl-fuzz for ocaml☆17Nov 23, 2024Updated last year
- Reactive signals for OCaml.☆18Sep 12, 2024Updated last year
- JSON combinator library for BuckleScript/Reason☆38Oct 14, 2019Updated 6 years ago
- Ropes ("heavyweight strings") for OCaml☆48Jul 27, 2024Updated last year
- F* running in the browser☆21Aug 15, 2019Updated 6 years ago
- ☆26Jul 18, 2022Updated 3 years ago
- Snóke is a good old Snake game with new ideas☆21Feb 8, 2026Updated 3 weeks ago
- A semantically unified SQL and NoSQL query and update system☆18Jan 20, 2019Updated 7 years ago
- CRAM testing framework☆22Sep 9, 2019Updated 6 years ago
- Yet Another Software Language Repository☆19Jan 25, 2026Updated last month
- Easy OCaml bindings for Javascript libraries☆183Feb 16, 2026Updated 2 weeks ago
- The Rocq Prover bot☆26Jan 30, 2026Updated last month
- A small Coq library for collecting side conditions and deferring their proof☆26Oct 14, 2019Updated 6 years ago
- An OCaml library implementing unifiable abstract binding trees (UABTs)☆28Nov 11, 2023Updated 2 years ago
- An OCaml interface to the Enlightenment Foundation Libraries (EFL) and Elementary☆27Dec 20, 2022Updated 3 years ago
- αProlog☆18Jul 9, 2023Updated 2 years ago
- OCaml BitTorrent library and client☆42Sep 12, 2022Updated 3 years ago
- A simple state-machine framework for OCaml based on QCheck☆67Sep 24, 2021Updated 4 years ago
- An easy interface on top of the Irmin library.☆43Jul 16, 2020Updated 5 years ago
- Command line curl wrapper for OCaml☆43Jul 7, 2024Updated last year
- Agnostic benchmark in OCaml (proof-of-concept)☆43Jun 28, 2024Updated last year
- OCaml bytecode library tools☆33Apr 19, 2022Updated 3 years ago
- OCaml bindings for inotify.☆42Jul 26, 2024Updated last year
- ☆28Jun 27, 2019Updated 6 years ago
- Type safe unit of measure in OCaml with ppx☆29Mar 10, 2016Updated 9 years ago
- Property fuzzing for OCaml☆199Nov 18, 2025Updated 3 months ago
- Runtime compilation and invocation of C.☆10Mar 25, 2019Updated 6 years ago
- OpenGL and GPU debugging utilities☆14Oct 21, 2012Updated 13 years ago
- a project example using erl-test-runner☆10Jun 16, 2015Updated 10 years ago
- Auto-formatter for OCaml code☆11Oct 24, 2025Updated 4 months ago