labichn / hmc
Hindley-Milner with contracts
☆11Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for hmc
- Like async/await syntax for Promises in JS but for OCaml☆17Updated 6 years ago
- Basic templates for new OCaml projects☆14Updated 7 years ago
- OCaml preprocessor to derive factory methods and default values from type definitions☆14Updated last year
- Resources for "One Monad to Prove Them All"☆28Updated 5 years ago
- A ppx rewriter that provides pattern matching on abstract types by transforming patterns into views/expressions.☆20Updated 5 years ago
- High Level, type-safe ReasonML (OCaml) bindings to Google's compression library Brotli☆20Updated last year
- unloading modules with ocaml native☆16Updated 3 years ago
- Repurpose object literals.☆14Updated 5 years ago
- Lightweight PPX extension for OCaml to support natural monadic syntax.☆20Updated 3 years ago
- Lazy prefix trees in OCaml☆23Updated 4 years ago
- OCaml implementation of the MQTT pubsub protocol.☆19Updated 3 years ago
- Define Grafana dashboards with ReasonML☆18Updated 4 years ago
- A Reason web toplevel built using js_of_ocaml☆17Updated 8 years ago
- A jabber logger and web interface☆13Updated 7 months ago
- ☆13Updated 6 years ago
- Easier bindings to Jest for ReasonML☆12Updated last month
- Integrating ReasonReact with Erratique's React!☆35Updated 2 years ago
- A sample syntax extension using OCaml's new extension points API.☆25Updated 4 months ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 8 years ago
- A Haskell fan fiction for ReasonML☆20Updated 5 years ago
- Tools for authors of ppx rewriters☆17Updated 3 years ago
- a mirage kernel using esy☆18Updated 3 years ago
- SDK to extend Merlin☆28Updated last month
- Composable and simple terminal highlighting package for OCaml.☆30Updated 6 years ago
- Deprecated, use ocaml-ppx/ppxlib instead☆14Updated 6 years ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆36Updated 2 years ago
- UDP-only netcat implementation with OCaml / MirageOS☆14Updated 7 years ago
- repo to play with react.js from js_of_ocaml☆18Updated 8 years ago