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