dannywillems / dsubml
OCaml implementation of DSub, a ML like language with subtyping and path dependent types.
☆10Updated 7 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 4 years ago
- Convert file extensions to MIME types☆23Updated last year
- Binding OCaml for NodeJS (main functions) using gen_js_api☆20Updated 8 years ago
- Distribute/marshal instances of ocaml extensible variant types and exceptions☆16Updated 8 years ago
- ImpFS, a new filesystem.☆20Updated 3 years ago
- ☆20Updated 6 years ago
- TypeScript to js_of_ocaml☆38Updated 9 years ago
- Lower-Kinded Optics for OCaml☆23Updated last week
- A simple websocket library for OCaml with no dependencies☆15Updated 11 months ago
- OCaml bindings for RocksDB☆21Updated last year
- Open records implemented using map over universal type☆33Updated 4 years ago
- A tail-recursive list map with good performance for all list sizes. Not actually written in assembly.☆13Updated 3 years ago
- Medium weight threads - preemptive thread pools for Lwt☆31Updated 3 years ago
- Map à la Binary Radix Tree☆20Updated 3 years ago
- Parsing library based on Earley Algorithm☆18Updated 4 years ago
- OCaml bindings to Minisat☆12Updated 10 months ago
- Stdcompat: compatibility module for OCaml standard library☆32Updated last week
- OCaml bindings to kqueue☆21Updated last year
- A safer C FFI for OCaml☆18Updated 6 years ago
- a distributed computing library for OCaml☆24Updated last year
- ocb (OCaml Badgen) is an OCaml library for SVG badge generation. There's also a command-line tool provided.☆21Updated 2 months ago
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Updated 6 months ago
- Fast msgpack library for OCaml☆26Updated 3 years ago
- A Framework for building Batched Concurrent Services☆21Updated 5 months ago
- A tool that creates stand-alone source bundles from opam packages☆26Updated last year
- ☆15Updated 4 years ago
- Result value combinators for OCaml☆37Updated last year
- Serialization formats toolkit for OCaml (unreleased)☆13Updated 10 months ago
- Yet another type combinator library☆54Updated 3 years ago
- A tool to create PDFs that are also OCaml bytecodes☆41Updated last year