cs3110 / materials-2020sp

Related projects: ⓘ

• janestreet / install-ocaml
  Instructions for setting up an OCaml development environment
  ☆97Updated 4 years ago
• clarksmr / sf-lectures
  Software Foundations
  ☆108Updated 4 months ago
• cs3110 / textbook-solutions
  Solutions to OCaml Programming
  ☆69Updated last month
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆89Updated 6 years ago
• IUCompilerCourse / public-student-support-code
  Public helper code for p423/p523 students (Racket)
  ☆153Updated last week
• bobzhang / ocaml-book
  a book about ocaml
  ☆186Updated 7 years ago
• mmottl / pure-fun
  Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"
  ☆142Updated 5 years ago
• ocaml-multicore / ocaml5-tutorial
  A hands-on tutorial on the new parallelism features in OCaml 5
  ☆198Updated 6 months ago
• roehst / tapl-implementations
  Implementations from Benjamin Pierce's "Types and Programming Languages" book
  ☆32Updated 5 years ago
• IUCompilerCourse / IU-P423-P523-E313-E513-Fall-2020
  Web page for IU Compiler Course for Fall 2020
  ☆131Updated 3 years ago
• ocaml-flambda / flambda-backend
  The Flambda backend project for OCaml
  ☆103Updated this week
• MPRI / M2-4-2
  Functional programming and type systems
  ☆115Updated 8 years ago
• johnwhitington / more-ocaml-exercises
  Examples and Exercises for the book "More OCaml"
  ☆59Updated 2 years ago
• ocaml-multicore / awesome-multicore-ocaml
  A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)
  ☆147Updated last year
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆31Updated last year
• smlnj / smlnj
  Standard ML of New Jersey
  ☆177Updated this week
• mietek / sf
  Mirror of Software Foundations in PDF
  ☆294Updated 3 years ago
• tmcgilchrist / tiger
  Compiler for Tiger language from "Modern Compiler Implementation in ML"
  ☆17Updated last month
• coq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆108Updated last month
• choukh / Set-Theory
  A formalization of the textbook Elements of Set Theory
  ☆59Updated 2 years ago
• ArulselvanMadhavan / ocaml-ctfp
  OCaml version of Category Theory For Programmers
  ☆126Updated 4 years ago
• LeifAndersen / PLGradSchools
  ☆219Updated last month
• gildor478 / ounit
  ☆87Updated last year
• pigworker / CS410-17
  being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathcly…
  ☆263Updated 6 years ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 4 years ago
• OCamlverse / ocamlverse.github.io
  Documentation of everything relevant in the OCaml world
  ☆175Updated 3 months ago
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆197Updated last week
• TakaiKinoko / Cornell_CS3110_OCaml
  code examples and my solution to the exercises in the book Functional Programming in OCaml
  ☆10Updated 5 years ago
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆250Updated 3 months ago
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Coq
  ☆145Updated this week