TakaiKinoko / Cornell_CS3110_OCamlLinks
code examples and my solution to the exercises in the book Functional Programming in OCaml
☆10Updated 6 years ago
Alternatives and similar repositories for Cornell_CS3110_OCaml
Users that are interested in Cornell_CS3110_OCaml are comparing it to the libraries listed below
Sorting:
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆29Updated 5 years ago
- Functional Programming in OCaml MOOC☆36Updated 5 years ago
- Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"☆151Updated last month
- Examples and Exercises for the book "More OCaml"☆66Updated 3 years ago
- The LLVM tutorial using OCaml☆60Updated 5 years ago
- Public helper code for p423/p523 students (Racket)☆165Updated 8 months ago
- Instructions for setting up an OCaml development environment☆97Updated 5 years ago
- The compiler for subset of scheme developed as part of P523☆30Updated 8 years ago
- Course web page for Fall 2021.☆21Updated 3 years ago
- ☆87Updated 4 years ago
- A free (as in freedom) OCaml textbook☆139Updated 4 months ago
- A hands-on tutorial on the new parallelism features in OCaml 5☆206Updated last year
- ☆39Updated 2 weeks ago
- A style guide for OCaml☆111Updated last year
- CMSC 430 Design and Implementation of Programming Languages☆51Updated last week
- Famous 99 problems in OCaml☆56Updated 3 years ago
- LablGTK 2 and 3: an interface to the GIMP Tool Kit☆95Updated 7 months ago
- OCaml Documentations as one-pagers, easy to keep useful commands in mind☆130Updated 4 years ago
- Simple template for midsize OCaml project☆125Updated 7 months ago
- Data structures and algorithms in OCaml☆51Updated 3 weeks ago
- Parallel ML compiler☆73Updated 5 years ago
- A Scheme to x86-64 compiler in Scheme☆80Updated 10 years ago
- The Definition of Standard ML, Revised (1997)☆115Updated 8 years ago
- ☆40Updated 4 years ago
- Stream Processing with OCaml☆139Updated 3 months ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- OCaml bindings to the SQLite3 database☆125Updated last week
- Dockerfiles for data science in OCaml on Jupyter☆45Updated 7 years ago
- An tree-walking interpreter for a subset of the Lox programming language from "Crafting Interpreters" written in OCaml☆13Updated 5 years ago
- SML reference interpreter☆116Updated last month