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)☆53Updated 7 months ago
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Updated 2 years ago
- OCaml version of Category Theory For Programmers☆134Updated 5 years ago
- CS3100: Paradigms of Programming at CSE IITM (Fall 2019)☆19Updated 2 years ago
- Owl's Differential Equation Solvers☆35Updated 3 years ago
- Awesome Agda Programming☆18Updated 5 years ago
- Programs that are used in the Cousineau/Mauny books☆31Updated 4 years ago
- A tutorial on Incremental, originally for CUFP 2017☆45Updated 7 years ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆12Updated 4 years ago
- A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)☆157Updated 2 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆17Updated this week
- ☆14Updated 2 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Updated last year
- Formalization of some elementary mathematical theories in Coq☆15Updated 5 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆53Updated last year
- OCaml plus Jane Street extensions☆74Updated last year
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 7 months ago
- Streaming client for OCaml's Memprof☆68Updated 11 months ago
- OCaml from the Very Beginning☆52Updated this week
- Learn Ocaml by reading code examples☆73Updated 2 years ago
- Numerical Optimisation Library☆17Updated 2 years ago
- ☆85Updated 3 years ago
- Examples and Exercises for the book "More OCaml"☆66Updated 3 years ago
- OCaml with macros☆58Updated 2 months ago
- ☆13Updated 2 years ago
- A corpus of automatically graded exercises to learn functional programming in OCaml.☆31Updated last year
- Imagine a Dependently Typed Python☆11Updated 4 months ago
- Compiler Hacking Sessions Information☆11Updated 2 years ago
- Jane Street Capital's asynchronous execution library (core)☆57Updated this week
- ☆44Updated 3 years ago