Resources & Tools
Resources
- Lecture Notes (2026)
- Lecture Notes 2025
- Lecture Notes 2023
- German textbook SML Programmierung (2011) (pdf) -- Version 2
- Introduction to Functional Programming and the Structure of Programming Languages using OCaml (2022) (pdf)
- Functional Programming in OCaml (textbook, Cornell) (accompanying videos)
- Math Preparatory Course Lecture Notes (2026, also about proofs) (2022)
- Kenneth H. Rosen, Discrete Mathematics and Its Applications (fifth edition), McGraw-Hill, 1999
-
Youtube Programmierung 1, Universität des Saarlandes - Youtube New Prog1 UdS Videos
- Recreational Programming Videos -- Sebastian Lague Youtube
- Video: Why learn functional programming?
-
OCaml Manual - OCaml API
- Alternative OCaml Interpreter
- Another Alternative OCaml Interpreter
Tools
Do you have any helpful tools? Either found or maybe even developed yourself? Notify us in the Forum and we can add them here!
ProofTrees 
https://neuralcoder3.github.io/prooftrees/
A tool to interactively use inference tree proofs/derivations like typing judgments.
Sheets 
https://ghpages.neuralcoder.de/ocaml_sheets/
A Google Sheet alternative but with OCaml.
OCaml Interpreter
https://feature.kamel.prog1.party/
An online interpreter for you to get started with Programming.
Factorio 
https://ghpages.neuralcoder.de/factorio-web/
A web game inspired by Factorio. You can automate the game with OCaml.