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:
- RISC-V port of the OCaml system☆45Sep 17, 2020Updated 5 years ago
- imaplet revamp with Lwt☆19Aug 9, 2017Updated 8 years ago
- A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort.☆11Apr 12, 2023Updated 3 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 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A dashboard displaying useful data from MirageOS project and its related repositories.☆13Sep 7, 2016Updated 9 years ago
- TG 2016 hacking compo repo☆10Mar 31, 2016Updated 10 years ago
- Implementation of the PACK file (Git) in OCaml☆20Jun 25, 2020Updated 6 years ago
- Vagrant + OPAM/OCaml☆15Jan 8, 2016Updated 10 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 6 years ago
- MQTT client for OCaml☆25Apr 6, 2024Updated 2 years ago
- A traceable distributed computation framework☆23Oct 8, 2019Updated 6 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.
- WiP image viewer using MirageOS☆19Aug 4, 2019Updated 6 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆46Dec 11, 2022Updated 3 years ago
- ☆21Dec 29, 2025Updated 6 months ago
- PSGI server with libevent httpd☆20Mar 2, 2010Updated 16 years ago
- A simple app to test out irmin and dream☆18Oct 18, 2025Updated 9 months ago
- Relational programming for OCaml (unreleased)☆24Jun 6, 2022Updated 4 years ago
- An Irmin backend for a web browser's IndexedDB store☆33Jan 2, 2025Updated last year
- Performance Monitoring for ARM using PMU - Cycle count, Cache misses, and more...☆15Dec 16, 2012Updated 13 years ago
- Open-source library for ORAM implementations☆12Apr 15, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- TGHack 2017 repo☆17Mar 29, 2019Updated 7 years ago
- ☆15Dec 27, 2018Updated 7 years ago
- RestAPI mocking service built with Next.js☆12Mar 13, 2025Updated last year
- & images☆32Jan 8, 2025Updated last year
- Work-in-Progress collection of examples of using MirageOS from OCaml☆22Nov 7, 2017Updated 8 years ago
- 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
- OCaml Serial Module☆11Oct 5, 2024Updated last year
- A QRcode generator written in Go.☆13Apr 10, 2014Updated 12 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆19Nov 12, 2020Updated 5 years ago
- A jabber logger and web interface☆12Apr 17, 2026Updated 3 months ago
- Online, realtime, multiplayer game of Set, from Set Enterprises, Inc., built entirely with ocaml (and reasonml).☆46Dec 31, 2018Updated 7 years ago
- JWTs for OCaml☆30Oct 1, 2021Updated 4 years ago
- Java code to convert files to QR Codes and display them to another computer running the reader.☆13Feb 19, 2014Updated 12 years ago
- OCaml library for building clients and servers that communicate using the Redis Serialization Protocol☆13Nov 6, 2021Updated 4 years ago
- A corpus of automatically graded exercises to learn functional programming in OCaml.☆31Jul 26, 2024Updated last year