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)☆56Updated 8 months ago
- IITM Paradigms of Programming -- Monsoon 2025☆17Updated this week
- Owl's Differential Equation Solvers☆35Updated 3 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆53Updated last year
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆123Updated 9 months ago
- OCaml version of Category Theory For Programmers☆134Updated 5 years ago
- A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)☆157Updated 2 years ago
- CS3100: Paradigms of Programming at CSE IITM (Fall 2019)☆19Updated 2 years ago
- Learn Ocaml by reading code examples☆72Updated 2 years ago
- Programs that are used in the Cousineau/Mauny books☆31Updated 4 years ago
- Awesome Agda Programming☆18Updated this week
- ☆86Updated 3 years ago
- OCaml from the Very Beginning☆52Updated 3 weeks ago
- OCaml plus Jane Street extensions☆73Updated last year
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Updated 2 years ago
- Examples and Exercises for the book "More OCaml"☆66Updated 3 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- ☆14Updated 2 years ago
- Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"☆29Updated 2 years ago
- ☆44Updated 3 years ago
- ☆13Updated 3 years ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Updated 4 years ago
- Formalization of some elementary mathematical theories in Coq☆15Updated 5 years ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated 2 years ago
- A summary of my activities during the past four years☆31Updated 11 months ago
- Numerical Optimisation Library☆17Updated 2 years ago
- Standard IO Library for OCaml☆39Updated 4 months ago
- How do you do that recursive GADT thing again?☆28Updated last year
- A tutorial on Incremental, originally for CUFP 2017☆45Updated 7 years ago
- OCaml bindings for RE2☆48Updated last month