FP Launchpad Training Materials

This is an index of the courses, workshops, talks and learning resources created by FP Launchpad at IIT Madras. Each entry links to the repository that holds the material, and to its website where one exists.

University courses (IIT Madras)

• CS3100: Paradigms of Programming (Monsoon 2025). Repo, website
• CS3300: Compiler Design (Monsoon 2026). Repo, website
• CS6225: Programs and Proofs (Spring 2025). Repo, website
• CS6868: Concurrent Programming (Spring 2026). Repo, website

Online course

• Functional Programming in OCaml (NPTEL). Repo, website

Workshops and talks

• Fun and Profit with OCaml, a beginner workshop at IndiaFOSS 2026. Repo, website
• Modes in OxCaml, an internal FP Launchpad talk with live, runnable slides on modes, kinds, unboxed types and SIMD. Repo
• Compilers lecture, an invited talk at the AICTE Compilers short-term course (January 2021). Repo

Self-study and community learning

• IITM OCaml Reading Group, a weekly group reading Real World OCaml together. Repo
• Learn2Lean, an interactive web book that teaches formal verification in Lean 4 by proving school arithmetic algorithms correct. Repo