Sudha247 / learn-ocaml-workshopLinks
Exercises and projects for Jane Street's OCaml Workshop
☆10Updated last year
Alternatives and similar repositories for learn-ocaml-workshop
Users that are interested in learn-ocaml-workshop are comparing it to the libraries listed below
Sorting:
- CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)☆52Updated 7 months ago
- IITM Paradigms of Programming -- Monsoon 2025☆14Updated last week
- CS3100: Paradigms of Programming at CSE IITM (Fall 2019)☆19Updated 2 years ago
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Updated 2 years ago
- Owl's Differential Equation Solvers☆35Updated 3 years ago
- Owl Tutorial☆5Updated 8 months ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆119Updated 7 months ago
- ☆85Updated 3 years ago
- Examples and Exercises for the book "More OCaml"☆65Updated 3 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆53Updated last year
- Learn Ocaml by reading code examples☆72Updated 2 years ago
- A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)☆156Updated last year
- Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"☆29Updated last year
- How do you do that recursive GADT thing again?☆28Updated last year
- OCaml version of Category Theory For Programmers☆134Updated 5 years ago
- OCaml from the Very Beginning☆52Updated 2 months ago
- Streaming client for OCaml's Memprof☆69Updated 11 months ago
- OCaml plus Jane Street extensions☆74Updated last year
- ☆13Updated 2 years ago
- Code and materials for my book "Pragmatic Type Level Design"☆143Updated 4 months ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Updated last year
- Awesome Agda Programming☆18Updated 4 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- OCaml bindings for RE2☆47Updated 2 months ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆12Updated 4 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)☆121Updated last year
- TLA+ Foundation☆30Updated 2 weeks ago
- Notes on Functional Programming and related topics☆30Updated 3 years ago
- ☆14Updated last year