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:
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Updated 10 months ago
- The LLVM tutorial using OCaml☆61Updated 5 years ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆15Updated 12 years ago
- CMSC 430 Design and Implementation of Programming Languages☆51Updated 6 months ago
- Modern Compiler Implementation in ML (OCaml)☆7Updated 5 years ago
- The compiler for subset of scheme developed as part of P523☆30Updated 8 years ago
- Tiger Compiler from Modern Compiler Implementation in ML☆24Updated 8 years ago
- Data structures and algorithms in OCaml☆49Updated 2 weeks ago
- A pretty-printing combinator library for OCaml☆51Updated 10 months ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆29Updated 5 years ago
- Modern Compiler Implementation in ML☆11Updated 8 years ago
- Resources for "The Little Typer" study group☆47Updated 5 years ago
- The examples from "The Little MLer" in OCaml and ReasonML☆30Updated 5 years ago
- A notional machine for the SMoL languages☆21Updated last year
- Optimizing Abstract Abstract Machines☆31Updated 8 years ago
- Okasaki's Purely Functional Data Structures in OCaml☆40Updated 12 years ago
- Implementation of the languages from the EOPL textbook in Haskell and Standard ML.☆15Updated 5 years ago
- Course web page for Fall 2021.☆22Updated 3 years ago
- Owl Tutorial☆5Updated 6 months ago
- 十分钟魔法练习 in OCaml☆33Updated 3 years ago
- Compile-time metaprogramming for OCaml☆74Updated 10 months ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆31Updated 4 years ago
- ☆37Updated last month
- Public helper code for p423/p523 students (Racket)☆164Updated 6 months ago
- Functional Programming in OCaml MOOC☆36Updated 5 years ago
- The MLPolyR programming language, revived☆25Updated 4 years ago
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆17Updated 2 years ago
- Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"☆150Updated 5 months ago
- All code examples from "The Little Prover" book☆23Updated 9 years ago