OCaml tutorial conducted at Abstraction 2019 (https://abstraction-iitm.surge.sh)
☆15Apr 21, 2019Updated 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
Sorting:
- A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort.☆11Apr 12, 2023Updated 2 years ago
- Elliptic Curve Diffie-Hellman on Edwards Curves (X25519, X448)☆11Oct 30, 2020Updated 5 years ago
- Implementation of some Erlang primitives in OCaml☆11Jun 16, 2017Updated 8 years ago
- Define Grafana dashboards with ReasonML☆18Jan 31, 2020Updated 6 years ago
- A dashboard displaying useful data from MirageOS project and its related repositories.☆12Sep 7, 2016Updated 9 years ago
- imaplet revamp with Lwt☆18Aug 9, 2017Updated 8 years ago
- A simple app to test out irmin and dream☆18Oct 18, 2025Updated 4 months ago
- WiP image viewer using MirageOS☆19Aug 4, 2019Updated 6 years ago
- RISC-V port of the OCaml system☆44Sep 17, 2020Updated 5 years ago
- A traceable distributed computation framework☆23Oct 8, 2019Updated 6 years ago
- ☆21Dec 29, 2025Updated 2 months ago
- Packer and Vagrant images for building Mirage☆26May 5, 2015Updated 10 years ago
- Experimental portable bitmap framebuffer graphics for MirageOS☆17Jul 14, 2020Updated 5 years ago
- Prolog binding for terminusdb-store☆22Jun 13, 2022Updated 3 years ago
- MQTT client for OCaml☆25Apr 6, 2024Updated last year
- Esy ReasonML application for a store backed by irmin compiled with js_of_ocaml☆21May 13, 2019Updated 6 years ago
- Supervised Session Actors☆22Jul 6, 2016Updated 9 years ago
- JWTs for OCaml☆29Oct 1, 2021Updated 4 years ago
- Relational programming for OCaml (unreleased)☆24Jun 6, 2022Updated 3 years ago
- Erlang GTK binding☆38Mar 17, 2023Updated 2 years ago
- Watches for .erl & .hrl changes, recompiles and reloads. You know, for development.☆25Nov 27, 2019Updated 6 years ago
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Sep 2, 2024Updated last year
- A simple state-machine framework for OCaml based on QCheck☆67Sep 24, 2021Updated 4 years ago
- Work-in-Progress collection of examples of using MirageOS from OCaml☆22Nov 7, 2017Updated 8 years ago
- Pure OCaml implementation of the D-Bus protocol☆34Feb 27, 2024Updated 2 years ago
- Erlang Design by Contract☆23Jul 27, 2018Updated 7 years ago
- A corpus of automatically graded exercises to learn functional programming in OCaml.☆31Jul 26, 2024Updated last year
- & images☆32Jan 8, 2025Updated last year
- Effect-Driven Compiler Tester for OCaml☆37Sep 25, 2019Updated 6 years ago
- A charming general game player☆17Apr 20, 2010Updated 15 years ago
- GIS Sample Data☆17Feb 25, 2020Updated 6 years ago
- Websockets implementation for httpaf☆32Jun 23, 2019Updated 6 years ago
- Run an OCaml program as an erlang node☆29Mar 25, 2016Updated 9 years ago
- User interface widgets for OCaml applications☆37Updated this week
- Text templating processor for SWI-Prolog.☆32Mar 14, 2020Updated 5 years ago
- ☆34Aug 2, 2022Updated 3 years ago
- An Irmin backend for a web browser's IndexedDB store☆33Jan 2, 2025Updated last year
- Functional Programming in OCaml MOOC☆36Jan 6, 2020Updated 6 years ago
- Monotonic wall-clock time for OCaml☆33Feb 13, 2026Updated 2 weeks ago