Solutions to OCaml Programming
☆94Jan 5, 2026Updated 2 months ago
Alternatives and similar repositories for textbook-solutions
Users that are interested in textbook-solutions are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"☆910Jan 26, 2026Updated 2 months ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 4 years ago
- Software Foundations☆152Apr 30, 2024Updated last year
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 4 months ago
- Raw bindings to platform APIs for OCaml☆16Mar 18, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- OCaml support☆33Mar 18, 2026Updated last week
- Make your own OCaml base image for fast CI jobs☆17Jan 7, 2025Updated last year
- Foundations of Computer Science notebooks☆17Oct 13, 2025Updated 5 months ago
- A dynamic way to instantiate an OCaml flow☆17Feb 26, 2026Updated last month
- Url safe slug generator for OCaml☆16Jul 19, 2021Updated 4 years ago
- Exercises and projects for Jane Street's OCaml Workshop☆10Oct 28, 2023Updated 2 years ago
- Materials for my lectures including programming langauge design, software engineering and human-computer interaction.☆18Oct 24, 2023Updated 2 years ago
- A pure OCaml HTTP client for Riot☆29Oct 23, 2024Updated last year
- Lean course materials for Brown CS 22, Spring 2023☆20Nov 20, 2023Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A simple viewer of the cutoff scores for all Brazilian universities participating in SISU☆16Dec 26, 2023Updated 2 years ago
- A service scheduler and load balancer.☆10Jul 10, 2024Updated last year
- Code for the course Implement RougeDB: A Redis clone from outer space written in Rust☆11Jan 15, 2025Updated last year
- Learn Ocaml by reading code examples☆75Dec 13, 2022Updated 3 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- A simple tomasulo simulator written in Rust for the course Computer Architecture.☆14Dec 29, 2022Updated 3 years ago
- ☆14Aug 25, 2023Updated 2 years ago
- A pure OCaml library for manipulating colors in different color spaces.☆21Feb 27, 2024Updated 2 years ago
- A library to write web server and site☆24Feb 11, 2026Updated last month
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- ☆20Nov 25, 2025Updated 4 months ago
- The PharoByExample9 repository since to have a broken history. Now the book versioning is moved to this repository to get work done.☆14Aug 2, 2025Updated 7 months ago
- Famous 99 problems in OCaml☆56Aug 1, 2022Updated 3 years ago
- The official OCaml website.☆186Updated this week
- Modern, pure OCaml socket pool for Riot☆43Apr 15, 2024Updated last year
- A simple, lightweight library for ANSI styling.☆24Oct 30, 2025Updated 4 months ago
- Implementation of the Lox language in OCaml☆15Mar 26, 2020Updated 6 years ago
- Writing multicore programs with Reason☆15Dec 22, 2020Updated 5 years ago
- Three implementations of Tarjan’s Union-Find☆19Apr 28, 2021Updated 4 years ago
- 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.
- Automatically generates OCaml FFI bindings and C shim code to C/C++ libraries☆37Mar 16, 2024Updated 2 years ago
- ☆13Sep 15, 2022Updated 3 years ago
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- ☆11May 14, 2023Updated 2 years ago
- Write yourself a simply-typed lambda calculus using Rust in a week!☆13May 13, 2024Updated last year
- A Rust to OCaml source to source translator☆22Feb 13, 2024Updated 2 years ago
- Documentation site for Melange☆26Mar 4, 2026Updated 3 weeks ago