OCaml tutorial conducted at Abstraction 2019 (https://abstraction-iitm.surge.sh)
☆15Apr 21, 2019Updated 7 years ago
Alternatives and similar repositories for ocaml-tutorial
Users that are interested in ocaml-tutorial are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort.☆11Apr 12, 2023Updated 3 years ago
- RISC-V port of the OCaml system☆45Sep 17, 2020Updated 5 years ago
- imaplet revamp with Lwt☆19Aug 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A dashboard displaying useful data from MirageOS project and its related repositories.☆13Sep 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 11 years ago
- Experimental portable bitmap framebuffer graphics for MirageOS☆17Jul 14, 2020Updated 5 years ago
- MQTT client for OCaml☆25Apr 6, 2024Updated 2 years ago
- 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☆44Dec 11, 2022Updated 3 years ago
- ☆21Dec 29, 2025Updated 4 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 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☆18Feb 25, 2020Updated 6 years ago
- A simple app to test out irmin and dream☆18Oct 18, 2025Updated 7 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 6 years ago
- & images☆32Jan 8, 2025Updated last year
- ☆15Dec 27, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Linux kernel source tree with changes to support LVBS with Hyper-V☆21Sep 12, 2024Updated last year
- Library that should be used as axios request/response interceptor for logging request/response details☆14Mar 14, 2023Updated 3 years ago
- A jabber logger and web interface☆12Apr 17, 2026Updated last month
- A corpus of automatically graded exercises to learn functional programming in OCaml.☆31Jul 26, 2024Updated last year
- JWTs for OCaml☆30Oct 1, 2021Updated 4 years ago
- Model Based Testing of the App Based On The Description from Constructing the User Interface with Statecharts Book of Ian Horrocks using …☆13Feb 20, 2024Updated 2 years ago
- OCaml library for building clients and servers that communicate using the Redis Serialization Protocol☆13Nov 6, 2021Updated 4 years ago
- UDP-only netcat implementation with OCaml / MirageOS☆15Mar 21, 2017Updated 9 years ago
- Parser and printer for the opam file syntax☆16Jul 3, 2025Updated 10 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Esy ReasonML application for a store backed by irmin compiled with js_of_ocaml☆21May 13, 2019Updated 7 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☆39May 4, 2026Updated 2 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