textbook

Tech stack & purpose

This repository contains the course textbook for CS 3110 at Cornell University, titled "OCaml Programming: Correct + Efficient + Beautiful." The textbook covers programming in OCaml, focusing on approaches to writing code that is correct, efficient, and well-designed. It is an educational resource developed for Cornell's computer science curriculum.

Languages

Contributors (top 30 of 70)

• 
  Michael Clarkson510 commits · 159 followers
• Nate Foster43 commits
• 
  Anshuman Mohan36 commits · 15 followers
• 
  Jendrik Stelzner33 commits · 25 followers
• Justin Hsu14 commits
• Vitaly Dolgov10 commits
• Andrew Wang6 commits
• 
  eeff5 commits · 8 followers
• Dexter Kozen5 commits
• Yukai Chou4 commits
• Luke Tao4 commits
• 
  Jochen Bartl4 commits · 85 followers
• 
  Antony4 commits · 0 followers
• 
  Alessandro Mecca3 commits · 17 followers
• HaQadosch3 commits
• 
  Ishwar3 commits · 22 followers
• 
  Michael Clarkson3 commits · 159 followers
• justhsu3 commits
• Vishal Lama3 commits
• 
  Steven Booth3 commits · 4 followers
• Quentin Fortier3 commits
• 
  Alex Kozik2 commits · 23 followers
• 
  Matt Armstrong2 commits · 17 followers
• Ziyang Li2 commits
• Hiroki Tokunaga2 commits
• 
  yuki2 commits · 63 followers
• 
  Stephanie Ma2 commits · 0 followers
• 
  danielkim09162 commits · 0 followers
• Thomas2 commits
• 
  favonia2 commits · 329 followers