kayceesrk / ocaml-tutorial
OCaml tutorial conducted at Abstraction 2019 (https://abstraction-iitm.surge.sh)
☆15Updated 6 years ago
Alternatives and similar repositories for ocaml-tutorial:
Users that are interested in ocaml-tutorial are comparing it to the libraries listed below
- HardCaml implementation of the OCaml ZINC Abstract Machine☆44Updated 5 years ago
- Relational programming for OCaml (unreleased)☆25Updated 2 years ago
- OCaml BitTorrent library and client☆39Updated 2 years ago
- Collect profiling information☆18Updated 2 years ago
- Scrypt key derivation function in pure OCaml as defined in https://tools.ietf.org/html/draft-josefsson-scrypt-kdf-04☆17Updated 3 years ago
- ☆18Updated 9 years ago
- A dashboard displaying useful data from MirageOS project and its related repositories.☆12Updated 8 years ago
- Functional kernel written in OCaml.☆32Updated 11 years ago
- List of bindings in OCaml to cordova plugins.☆27Updated 8 years ago
- Raspberry Pi boot support for the OCaml system (unreleased)☆55Updated 6 months ago
- An OCaml interface to the Enlightenment Foundation Libraries (EFL) and Elementary☆27Updated 2 years ago
- Alternative String module for OCaml☆31Updated 4 years ago
- ☆49Updated 4 years ago
- ntp client/server implementation in OCaml☆1Updated 4 years ago
- OCI: framework for continuous integrations and benchmarks☆11Updated 7 years ago
- ☆38Updated 5 years ago
- nanomsg bindings for ocaml☆38Updated 4 years ago
- Resilient replicant Shell Programming Library☆37Updated 7 years ago
- Optimised functions to read and write int16/32/64 from strings, bytes and bigarrays, based on primitives added in version 4.01.☆14Updated 2 years ago
- Off-the-record (OTR) messaging protocol, purely in OCaml☆39Updated 4 months ago
- A tool that creates stand-alone source bundles from opam packages☆26Updated last year
- Unicode character properties for OCaml☆21Updated last month
- Conjures up convenient OCaml types and serialization functions based on protobuf definition files☆19Updated 4 years ago
- A dumb OCaml logger☆37Updated last year
- A simple implementation of Discrete Interval Encoding Trees☆28Updated 3 years ago
- Bot posting reports on opam-repository pull-request using a web hook☆18Updated 5 years ago
- A library of splittable pseudo-random number generators for OCaml☆34Updated 3 months ago
- Plan9 software ported to OCaml☆25Updated last year
- Small example MirageOS unikernels.☆15Updated 5 years ago
- An Irmin backend for a web browser's IndexedDB store☆34Updated 3 months ago