Alternatives and similar repositories for Cornell_CS3110_OCaml

Users that are interested in Cornell_CS3110_OCaml are comparing it to the libraries listed below

• tmcgilchrist / tiger
  Compiler for Tiger language from "Modern Compiler Implementation in ML"
  ☆16Updated 10 months ago
• pavenvivek / Compiler-for-Scheme
  The compiler for subset of scheme developed as part of P523
  ☆30Updated 8 years ago
• owainlewis / ocaml-datastructures-algorithms
  Data structures and algorithms in OCaml
  ☆49Updated 2 years ago
• IUCompilerCourse / IU-Fall-2021
  Course web page for Fall 2021.
  ☆22Updated 3 years ago
• toddaaro / advanced-dan
  Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"
  ☆15Updated 12 years ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆29Updated 5 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 8 years ago
• themattchan / tiger
  Modern Compiler Implementation in ML
  ☆11Updated 8 years ago
• tianyicui / pfds-ocaml
  Okasaki's Purely Functional Data Structures in OCaml
  ☆40Updated 12 years ago
• mauny / the-functional-approach-to-programming
  Programs that are used in the Cousineau/Mauny books
  ☆31Updated 3 years ago
• smeruelo / mooc-ocaml
  Functional Programming in OCaml MOOC
  ☆36Updated 5 years ago
• samarthkishor / crafting-interpreters
  An tree-walking interpreter for a subset of the Lox programming language from "Crafting Interpreters" written in OCaml
  ☆13Updated 5 years ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 5 years ago
• IUCompilerCourse / public-student-support-code
  Public helper code for p423/p523 students (Racket)
  ☆164Updated 5 months ago
• mflatt / plai-typed
  ☆51Updated 2 years ago
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆51Updated 9 months ago
• cmaes / miniml
  Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
  ☆31Updated 4 years ago
• prikhi / modern-compiler-implementation-ml
  Tiger Compiler from Modern Compiler Implementation in ML
  ☆24Updated 8 years ago
• keyz / p423-compiler
  A Scheme to x86-64 compiler in Scheme
  ☆79Updated 10 years ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆102Updated 10 years ago
• johnwhitington / more-ocaml-exercises
  Examples and Exercises for the book "More OCaml"
  ☆63Updated 2 years ago
• wlitwin / tigerml
  Modern Compiler Implementation in ML (OCaml)
  ☆7Updated 5 years ago
• dannypsnl / plt-research
  A collection of PLT researching
  ☆29Updated 3 months ago
• irpap / Write-yourself-a-Scheme-in-48-hours
  A Scheme interpreter in Haskell
  ☆9Updated 11 years ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆22Updated last year
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• mmottl / pure-fun
  Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"
  ☆149Updated 4 months ago
• rain-1 / chez-match
  A pattern match macro for chez-scheme
  ☆18Updated 8 years ago
• mflatt / scratchy
  Demonstration of implementing a language in Racket
  ☆58Updated 10 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆73Updated 10 months ago