takahisa / chibiml
ML interpreter/compiler
☆1Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for chibiml
- Library to provide session types to allow for static verification of protocols between concurrent computations.☆17Updated 7 years ago
- PPX plugin for the OCAML OPAM bitstring package☆17Updated 6 years ago
- Code using GADT☆37Updated 3 years ago
- Feedback-directed optimizer for OCaml☆35Updated 3 years ago
- J'ai plus mal à la tête maintenant☆26Updated last week
- Unicode text for OCaml☆14Updated 6 years ago
- OCaml extension for a Go-ish [%defer ...] syntax☆16Updated 2 years ago
- Multiparty Session Types in OCaml☆57Updated 3 weeks ago
- Unicode text normalization for OCaml☆21Updated last week
- ☆20Updated 5 years ago
- OCaml library to work with DWARF format☆33Updated 2 months ago
- An implementation of binary session types in OCaml☆36Updated 5 years ago
- Invertible syntax for OCaml☆30Updated 5 years ago
- Js_of_ocaml bindings for the p5.js library☆11Updated 6 months ago
- The Universe Library for OCaml☆14Updated 5 years ago
- Relational programming for OCaml (unreleased)☆25Updated 2 years ago
- Address resolution protocol (ARP) implementation in OCaml targeting MirageOS☆21Updated last month
- OCaml implementation of histogram-approximation algorithm☆15Updated 2 years ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆33Updated 2 weeks ago
- OCaml bindings to stb_truetype, a public domain truetype font rasterizer☆10Updated last year
- Deprecated, use ocaml-ppx/ppxlib instead☆14Updated 6 years ago
- OCaml BitTorrent library and client☆39Updated 2 years ago
- Pack file encoder/decoder in OCaml☆11Updated 7 years ago
- Software construction and deployment kit☆33Updated last week
- OCaml binding to LXC with idiomatic (and opionated) OCaml API design☆13Updated 5 years ago
- multipart/form-data (RFC2388) parser for OCaml☆19Updated 4 years ago
- Convert a cmi file back to an mli interface☆14Updated 12 years ago
- A B-Tree implementation in OCaml☆23Updated 8 years ago
- Regular languages in types☆22Updated 7 years ago
- Final Year Project - A probabilisitic programming language in OCaml☆13Updated 4 years ago