dannywillems / dsubml
OCaml implementation of DSub, a ML like language with subtyping and path dependent types.
☆10Updated 8 years ago
Alternatives and similar repositories for dsubml:
Users that are interested in dsubml are comparing it to the libraries listed below
- Trivial/Tagless Polytypic Functions☆23Updated 5 years ago
- Distribute/marshal instances of ocaml extensible variant types and exceptions☆16Updated 8 years ago
- a distributed computing library for OCaml☆24Updated last year
- A tail-recursive list map with good performance for all list sizes. Not actually written in assembly.☆13Updated 3 years ago
- Parsing library based on Earley Algorithm☆18Updated 4 years ago
- Binding OCaml for NodeJS (main functions) using gen_js_api☆20Updated 8 years ago
- Open records implemented using map over universal type☆33Updated 5 years ago
- A simple websocket library for OCaml with no dependencies☆16Updated last year
- ☆20Updated 6 years ago
- ☆15Updated 4 years ago
- Pla is a simple library and ppx syntax extension to create composable templates based on verbatim strings☆14Updated 2 years ago
- Convert file extensions to MIME types☆23Updated last year
- TypeScript to js_of_ocaml☆38Updated 9 years ago
- Serialization formats toolkit for OCaml (unreleased)☆13Updated 11 months ago
- Fast, safe mutable dynamic arrays for OCaml☆28Updated last year
- A quirky object oriented standard library for ocaml☆17Updated 4 years ago
- Deprecated, use ocaml-ppx/ppxlib instead☆15Updated 7 years ago
- Portable implementation of the Irmin Watch API☆14Updated 8 months ago
- A tool that creates stand-alone source bundles from opam packages☆26Updated last year
- An OCaml library for describing Protobuf messages☆30Updated 4 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
- OCaml bindings for RocksDB☆21Updated last year
- Yet another type combinator library☆54Updated 3 years ago
- Interacting with cron from OCaml☆14Updated 3 years ago
- Dissect OCaml compiled programs, and weight their content☆24Updated 2 years ago
- OCaml bindings to Minisat☆12Updated 11 months ago
- Parsing of the Content-Type header in pure OCaml☆19Updated 4 years ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated 9 months ago
- ImpFS, a new filesystem.☆20Updated 3 years ago
- Define your Dream router with Routes☆19Updated 3 years ago