labichn / hmc
Hindley-Milner with contracts
☆11Updated 9 years ago
Alternatives and similar repositories for hmc
Users that are interested in hmc are comparing it to the libraries listed below
Sorting:
- A Reason web toplevel built using js_of_ocaml☆17Updated 8 years ago
- Lazy prefix trees in OCaml☆23Updated 5 years ago
- OCaml implementation of the MQTT pubsub protocol.☆19Updated 4 years ago
- A tool to create PDFs that are also OCaml bytecodes☆41Updated last year
- repo to play with react.js from js_of_ocaml☆18Updated 9 years ago
- UDP-only netcat implementation with OCaml / MirageOS☆14Updated 8 years ago
- OCaml preprocessor to derive factory methods and default values from type definitions☆15Updated 2 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 9 years ago
- A ppx rewriter that provides pattern matching on abstract types by transforming patterns into views/expressions.☆20Updated 5 years ago
- A variant of ocaml-expect from toplevel_expect_test that mimics ocaml toplevel more closely☆14Updated 6 years ago
- This is a repo that can be cloned to get started quickly with Sihl.☆14Updated 3 years ago
- Resources for "One Monad to Prove Them All"☆29Updated 6 years ago
- unloading modules with ocaml native☆16Updated 4 years ago
- Deprecated, use ocaml-ppx/ppxlib instead☆15Updated 7 years ago
- Basic templates for new OCaml projects☆14Updated 7 years ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆37Updated 2 years ago
- ☆13Updated 6 years ago
- Create, Control, Execute JavaScript in OCaml. Think of the possibilities.☆30Updated 8 years ago
- Protocol Buffers, JSON, XML data serialization system for OCaml☆40Updated 2 years ago
- Open records implemented using map over universal type☆33Updated 5 years ago
- A jabber logger and web interface☆13Updated last year
- A tail-recursive list map with good performance for all list sizes. Not actually written in assembly.☆13Updated 3 years ago
- Algorithms to layout trees in a pretty manner.☆36Updated 3 years ago
- Tool to convert OASIS metadata to OPAM package descriptions☆27Updated 7 years ago
- OCaml API search engine☆25Updated 8 years ago
- A Haskell fan fiction for ReasonML☆20Updated 6 years ago
- Tools for authors of ppx rewriters☆17Updated 4 years ago
- Composable and simple terminal highlighting package for OCaml.☆30Updated 7 years ago
- Distribute/marshal instances of ocaml extensible variant types and exceptions☆16Updated 8 years ago
- SDK to extend Merlin☆28Updated 6 months ago