kmicinski / example-ocaml-merlinView external linksLinks
An example of a simple project in OCaml that uses Merlin
☆37May 28, 2015Updated 10 years ago
Alternatives and similar repositories for example-ocaml-merlin
Users that are interested in example-ocaml-merlin are comparing it to the libraries listed below
Sorting:
- A Hodgepodge of functions for living in the OCaml ecosystem☆63Sep 14, 2019Updated 6 years ago
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated last week
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- Emojis in OCaml, use them in your CLIs or whatever☆28Sep 29, 2025Updated 4 months ago
- PeerConnection implementation for Node.js☆47Jan 20, 2018Updated 8 years ago
- Datatype-generic object-oriented transformations for OCaml☆17Nov 16, 2025Updated 2 months ago
- Pack file encoder/decoder in OCaml☆12Jun 2, 2017Updated 8 years ago
- SML implementation of System T from PFPL.☆11Jun 28, 2017Updated 8 years ago
- Implementation of Dhall in Dhall☆12Feb 2, 2026Updated last week
- proof script associated to tutorial material☆17Oct 29, 2023Updated 2 years ago
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 8 years ago
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Mar 23, 2025Updated 10 months ago
- Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]☆39May 13, 2025Updated 9 months ago
- Make OCaml/Reason errors prettier☆124Aug 29, 2017Updated 8 years ago
- ☆18Mar 12, 2016Updated 9 years ago
- ☆26Jul 18, 2022Updated 3 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Sep 28, 2015Updated 10 years ago
- Build system☆89Sep 19, 2018Updated 7 years ago
- Official repository of the Autosubst 2 project.☆25May 8, 2023Updated 2 years ago
- A collection of useful functions to write an exploit in OCaml☆17Oct 11, 2014Updated 11 years ago
- Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]☆16Oct 30, 2025Updated 3 months ago
- ☆21Mar 6, 2019Updated 6 years ago
- A Coq library providing tactics to deal with hypothesis☆22Dec 5, 2025Updated 2 months ago
- A static site generator library for OCaml☆16Oct 6, 2019Updated 6 years ago
- Red-Black Trees for OCaml.☆24Aug 14, 2016Updated 9 years ago
- Modern compiler implementation in ML, in Haskell☆16Apr 4, 2018Updated 7 years ago
- Implementation of maps of integers with Patricia trees☆22Sep 4, 2020Updated 5 years ago
- ☆20Jan 16, 2025Updated last year
- A Model of Relationally Parametric System F in Coq☆22May 27, 2015Updated 10 years ago
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Jul 21, 2025Updated 6 months ago
- An OCaml library implementing unifiable abstract binding trees (UABTs)☆28Nov 11, 2023Updated 2 years ago
- Abstract interpreter for real-world application programs☆32May 25, 2013Updated 12 years ago
- ☆22Jul 22, 2017Updated 8 years ago
- The Rocq Prover bot☆24Jan 30, 2026Updated 2 weeks ago
- being a bidirectional reformulation of Martin-Löf's 1971 type theory☆25Sep 6, 2017Updated 8 years ago
- Generation of memorable passphrases☆21Nov 29, 2023Updated 2 years ago
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆26Feb 5, 2026Updated last week
- Generate commutative diagrams inside of Pandoc with Tikz☆34Jul 6, 2017Updated 8 years ago
- A minimal OCaml library for type-safe HTTP/JSON RPCs☆18Sep 11, 2019Updated 6 years ago