takahisa / chibiml
ML interpreter/compiler
☆2Updated 4 years ago
Alternatives and similar repositories for chibiml:
Users that are interested in chibiml are comparing it to the libraries listed below
- Code using GADT☆37Updated 3 years ago
- An implementation of binary session types in OCaml☆36Updated 5 years ago
- PPX plugin for the OCAML OPAM bitstring package☆17Updated 7 years ago
- Library to provide session types to allow for static verification of protocols between concurrent computations.☆17Updated 8 years ago
- The Universe Library for OCaml☆14Updated 6 years ago
- Multiparty Session Types in OCaml☆57Updated 2 months ago
- ☆14Updated 3 years ago
- J'ai plus mal à la tête maintenant☆26Updated last month
- Deprecated, use ocaml-ppx/ppxlib instead☆14Updated 6 years ago
- Add UTF decoding support to the OCaml Stdlib☆16Updated 2 years ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆34Updated last week
- ☆20Updated 5 years ago
- Unicode text normalization for OCaml☆21Updated 2 months ago
- Notes of Programming Languages☆11Updated 2 months ago
- ocamltter is a Twitter client in OCaml. This client run on the OCaml toplevel interpreter. Then each operation on the client is just a OC…☆75Updated 6 years ago
- Backport new syntax to older compilers☆14Updated 5 years ago
- Attempt to automate the installation of system packages required by OPAM packages☆33Updated 5 months ago
- A new Unicode library for OCaml☆35Updated 10 years ago
- OCaml BitTorrent library and client☆39Updated 2 years ago
- Unicode text for OCaml☆14Updated 6 years ago
- A tool that creates stand-alone source bundles from opam packages☆26Updated last year
- Feedback-directed optimizer for OCaml☆35Updated 3 years ago
- Convert a cmi file back to an mli interface☆14Updated 12 years ago
- Pack file encoder/decoder in OCaml☆11Updated 7 years ago
- Distribute/marshal instances of ocaml extensible variant types and exceptions☆16Updated 8 years ago
- Js_of_ocaml bindings for the p5.js library☆11Updated 8 months ago
- Easy process control in OCaml☆17Updated last year
- A B-Tree implementation in OCaml☆23Updated 8 years ago
- Regular languages in types☆22Updated 7 years ago
- Software construction and deployment kit☆33Updated this week