cs3110/textbook

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"

939

stars

720

commits

OCaml

primary language

Aug 13, 2026

updated

README

OCaml Programming: Correct + Efficient + Beautiful

This is the course textbook for CS 3110 at Cornell University. Read it here!

Contributors

(top 30 of 65)

519 commits

38 commits

33 commits

10 commits

Similar repos

ocaml/ocamlfind

The OCaml findlib library manager

similar language mix

jespercockx/agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft

133

clarksmr/sf-lectures

Software Foundations

161

RyanGlScott/ghc-software-foundations

The Software Foundations book, in GHC

janestreet/ocaml-compiler-libs

compiler libraries repackaged

similar language mix

esumii/min-caml

moved from https://sourceforge.net/p/min-caml/code/

529

similar language mix

c-cube/seq

compatibility package for the standard OCaml iterator type

similar language mix

imandra-ai/ocaml-tracy

Bindings to the Tracy profiler.

similar language mix

Languages

OCaml

86.7%

Makefile

6.5%

Lua

3.1%

CSS

2.9%