TakaiKinoko / Cornell_CS3110_OCaml
code examples and my solution to the exercises in the book Functional Programming in OCaml
☆10Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for Cornell_CS3110_OCaml
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆17Updated 3 months ago
- The compiler for subset of scheme developed as part of P523☆30Updated 7 years ago
- The examples from "The Little MLer" in OCaml and ReasonML☆30Updated 4 years ago
- A pretty-printing combinator library for OCaml☆47Updated 3 months ago
- Data structures and algorithms in OCaml☆48Updated last year
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆29Updated 5 years ago
- Functional Programming in OCaml MOOC☆36Updated 4 years ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆13Updated 12 years ago
- Course web page for Fall 2021.☆21Updated 2 years ago
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- An implementation of the Lox language in Racket.☆30Updated last year
- A notional machine for the SMoL languages☆21Updated last year
- Okasaki's Purely Functional Data Structures in OCaml☆40Updated 12 years ago
- Stub code generator for OCaml/C interface☆33Updated 4 months ago
- An tree-walking interpreter for a subset of the Lox programming language from "Crafting Interpreters" written in OCaml☆13Updated 4 years ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated 3 years ago
- Examples and Exercises for the book "More OCaml"☆60Updated 2 years ago
- A simple parser combinator library for Ocaml☆29Updated 3 years ago
- Modern Compiler Implementation in ML☆11Updated 7 years ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Updated 7 years ago
- String searching with errors, using the Wu-Manber algorithm☆23Updated 2 years ago
- ☆28Updated 9 years ago
- Implementation of the Lox language in OCaml☆14Updated 4 years ago
- An auto-formatter for the Standard ML language☆21Updated 4 years ago
- A collection of PLT researching☆29Updated last year
- A pattern match macro for chez-scheme☆19Updated 7 years ago
- Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"☆29Updated last year
- Ropes ("heavyweight strings") for OCaml☆49Updated 3 months ago
- ☆11Updated 2 weeks ago