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
- RISC-V port of the OCaml system☆44Sep 17, 2020Updated 5 years ago
- imaplet revamp with Lwt☆18Aug 9, 2017Updated 8 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
- A dashboard displaying useful data from MirageOS project and its related repositories.☆12Sep 7, 2016Updated 9 years ago
- Define Grafana dashboards with ReasonML☆18Jan 31, 2020Updated 6 years 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
- MQTT client for OCaml☆25Apr 6, 2024Updated last year
- WiP image viewer using MirageOS☆19Aug 4, 2019Updated 6 years ago
- A traceable distributed computation framework☆23Oct 8, 2019Updated 6 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆42Dec 11, 2022Updated 3 years ago
- ☆21Dec 29, 2025Updated 2 months ago
- Relational programming for OCaml (unreleased)☆24Jun 6, 2022Updated 3 years ago
- An Irmin backend for a web browser's IndexedDB store☆33Jan 2, 2025Updated last year
- GIS Sample Data☆17Feb 25, 2020Updated 6 years ago
- A simple app to test out irmin and dream☆18Oct 18, 2025Updated 5 months ago
- Work-in-Progress collection of examples of using MirageOS from OCaml☆22Nov 7, 2017Updated 8 years ago
- Performance Monitoring for ARM using PMU - Cycle count, Cache misses, and more...☆15Dec 16, 2012Updated 13 years ago
- Open-source library for ORAM implementations☆11Apr 15, 2020Updated 5 years ago
- & images☆32Jan 8, 2025Updated last year
- ☆15Dec 27, 2018Updated 7 years ago
- Linux kernel source tree with changes to support LVBS with Hyper-V☆20Sep 12, 2024Updated last year
- A jabber logger and web interface☆12Jan 5, 2026Updated 2 months ago
- A corpus of automatically graded exercises to learn functional programming in OCaml.☆31Jul 26, 2024Updated last year
- JWTs for OCaml☆29Oct 1, 2021Updated 4 years ago
- OCaml library for building clients and servers that communicate using the Redis Serialization Protocol☆12Nov 6, 2021Updated 4 years ago
- UDP-only netcat implementation with OCaml / MirageOS☆14Mar 21, 2017Updated 9 years ago
- Parser and printer for the opam file syntax☆16Jul 3, 2025Updated 8 months ago
- DKIM support on e-mail☆11Updated this week
- Esy ReasonML application for a store backed by irmin compiled with js_of_ocaml☆21May 13, 2019Updated 6 years ago
- ☆26Feb 2, 2023Updated 3 years ago
- Effect-Driven Compiler Tester for OCaml☆37Sep 25, 2019Updated 6 years ago
- User interface widgets for OCaml applications☆39Feb 28, 2026Updated 3 weeks ago
- A tool to create PDFs that are also OCaml bytecodes☆42Sep 19, 2023Updated 2 years ago
- The Ensemble distributed communications toolkit☆13Jul 26, 2020Updated 5 years ago
- ☆14Dec 27, 2023Updated 2 years ago
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Sep 2, 2024Updated last year