masateruk / micro-camlLinks
Program that translates OCaml into C language
☆38Updated 10 years ago
Alternatives and similar repositories for micro-caml
Users that are interested in micro-caml are comparing it to the libraries listed below
Sorting:
- OCaml API search allows you to search many standard O'Caml libraries by either function name, or by approximate type signature. It is sim…☆38Updated 12 years ago
- Docker base builds of OPAM in various combinations☆33Updated 8 years ago
- OCamlOScope 2 : OCaml API search☆43Updated 8 years 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…☆74Updated 7 years ago
- Attempt to automate the installation of system packages required by OPAM packages☆33Updated last year
- A new Unicode library for OCaml☆34Updated 11 years ago
- Binding to jQuery (for js_of_ocaml)☆25Updated 13 years ago
- MessagePack implementation for OCaml / msgpack.org[OCaml]☆46Updated 3 years ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆38Updated 6 months ago
- Code using GADT☆40Updated 4 years ago
- Regular languages in types☆21Updated 8 years ago
- An implementation of binary session types in OCaml☆38Updated 6 years ago
- Multiparty Session Types in OCaml☆59Updated last year
- Backport new syntax to older compilers☆14Updated 5 years ago
- ☆26Updated 12 years ago
- Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl☆56Updated 4 years ago
- Raspberry Pi boot support for the OCaml system (unreleased)☆56Updated last year
- A session manager for your everyday needs☆43Updated 3 years ago
- The Universe Library for OCaml☆14Updated 6 years ago
- Deprecated, use ocaml-ppx/ppxlib instead☆13Updated 7 years ago
- tired of typing afl-fuzz? try bun!☆51Updated 2 years ago
- RISC-V port of the OCaml system☆44Updated 5 years ago
- The new home of OMake - docs, downloads, mailing list etc. see:☆67Updated 3 weeks ago
- Bisector tree implementation in OCaml☆25Updated last year
- A B-Tree implementation in OCaml☆24Updated 9 years ago
- Feedback-directed optimizer for OCaml☆35Updated 4 years ago
- Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml☆55Updated last year
- A simple command line tool for statistical calculation☆10Updated 7 years ago
- Library to provide session types to allow for static verification of protocols between concurrent computations.☆17Updated 8 years ago
- OCaml documentation generator☆34Updated 8 years ago