Courses
1392 hands-on courses across every major language, framework, and discipline.
Agda Foundations
Start Agda from zero. Set up your environment, learn the core syntax, and write your first working programs with confidence.
Core Agda
Go beyond the basics of Agda: data types, collections, error handling, and the standard library you reach for every day.
Intermediate Agda
Level up your Agda. Write idiomatic, well-structured code and solve real problems with the right tools and patterns.
Advanced Agda
Master advanced Agda: deep language features, metaprogramming, internals, and the techniques senior engineers rely on.
Agda by Building Projects
Learn Agda by shipping real projects. Each one adds a new skill and something concrete to your portfolio.
Agda Technical Interview Prep
Prepare for Agda interviews: language deep-dives, common questions, coding challenges, and how to stand out.
Lean Foundations
Start Lean from zero. Set up your environment, learn the core syntax, and write your first working programs with confidence.
Core Lean
Go beyond the basics of Lean: data types, collections, error handling, and the standard library you reach for every day.
Intermediate Lean
Level up your Lean. Write idiomatic, well-structured code and solve real problems with the right tools and patterns.
Advanced Lean
Master advanced Lean: deep language features, metaprogramming, internals, and the techniques senior engineers rely on.
Lean by Building Projects
Learn Lean by shipping real projects. Each one adds a new skill and something concrete to your portfolio.
Lean Technical Interview Prep
Prepare for Lean interviews: language deep-dives, common questions, coding challenges, and how to stand out.
Coq Foundations
Start Coq from zero. Set up your environment, learn the core syntax, and write your first working programs with confidence.
Core Coq
Go beyond the basics of Coq: data types, collections, error handling, and the standard library you reach for every day.
Intermediate Coq
Level up your Coq. Write idiomatic, well-structured code and solve real problems with the right tools and patterns.
Advanced Coq
Master advanced Coq: deep language features, metaprogramming, internals, and the techniques senior engineers rely on.
Coq by Building Projects
Learn Coq by shipping real projects. Each one adds a new skill and something concrete to your portfolio.
Coq Technical Interview Prep
Prepare for Coq interviews: language deep-dives, common questions, coding challenges, and how to stand out.
Nix Foundations
Start Nix from zero. Set up your environment, learn the core syntax, and write your first working programs with confidence.
Core Nix
Go beyond the basics of Nix: data types, collections, error handling, and the standard library you reach for every day.
Intermediate Nix
Level up your Nix. Write idiomatic, well-structured code and solve real problems with the right tools and patterns.
Advanced Nix
Master advanced Nix: deep language features, metaprogramming, internals, and the techniques senior engineers rely on.
Nix by Building Projects
Learn Nix by shipping real projects. Each one adds a new skill and something concrete to your portfolio.
Nix Technical Interview Prep
Prepare for Nix interviews: language deep-dives, common questions, coding challenges, and how to stand out.