Courses
797 hands-on courses across every major language, framework, and discipline.
Core Idris
Go beyond the basics of Idris: data types, collections, error handling, and the standard library you reach for every day.
Intermediate Idris
Level up your Idris. Write idiomatic, well-structured code and solve real problems with the right tools and patterns.
Advanced Idris
Master advanced Idris: deep language features, metaprogramming, internals, and the techniques senior engineers rely on.
Idris by Building Projects
Learn Idris by shipping real projects. Each one adds a new skill and something concrete to your portfolio.
Idris Technical Interview Prep
Prepare for Idris interviews: language deep-dives, common questions, coding challenges, and how to stand out.
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.