Courses
314 hands-on courses across every major language, framework, and discipline.
Intermediate Standard ML
Level up your Standard ML. Write idiomatic, well-structured code and solve real problems with the right tools and patterns.
Standard ML by Building Projects
Learn Standard ML by shipping real projects. Each one adds a new skill and something concrete to your portfolio.
Intermediate Mercury
Level up your Mercury. Write idiomatic, well-structured code and solve real problems with the right tools and patterns.
Mercury by Building Projects
Learn Mercury by shipping real projects. Each one adds a new skill and something concrete to your portfolio.
Intermediate Idris
Level up your Idris. Write idiomatic, well-structured code and solve real problems with the right tools and patterns.
Idris by Building Projects
Learn Idris by shipping real projects. Each one adds a new skill and something concrete to your portfolio.
Intermediate Agda
Level up your Agda. Write idiomatic, well-structured code and solve real problems with the right tools and patterns.
Agda by Building Projects
Learn Agda by shipping real projects. Each one adds a new skill and something concrete to your portfolio.
Intermediate Lean
Level up your Lean. Write idiomatic, well-structured code and solve real problems with the right tools and patterns.
Lean by Building Projects
Learn Lean by shipping real projects. Each one adds a new skill and something concrete to your portfolio.
Intermediate Coq
Level up your Coq. Write idiomatic, well-structured code and solve real problems with the right tools and patterns.
Coq by Building Projects
Learn Coq by shipping real projects. Each one adds a new skill and something concrete to your portfolio.
Intermediate Nix
Level up your Nix. Write idiomatic, well-structured code and solve real problems with the right tools and patterns.
Nix by Building Projects
Learn Nix by shipping real projects. Each one adds a new skill and something concrete to your portfolio.
Intermediate Verilog
Level up your Verilog. Write idiomatic, well-structured code and solve real problems with the right tools and patterns.
Verilog by Building Projects
Learn Verilog by shipping real projects. Each one adds a new skill and something concrete to your portfolio.
Intermediate VHDL
Level up your VHDL. Write idiomatic, well-structured code and solve real problems with the right tools and patterns.
VHDL by Building Projects
Learn VHDL by shipping real projects. Each one adds a new skill and something concrete to your portfolio.
Intermediate Vyper
Level up your Vyper. Write idiomatic, well-structured code and solve real problems with the right tools and patterns.
Vyper by Building Projects
Learn Vyper by shipping real projects. Each one adds a new skill and something concrete to your portfolio.
Intermediate Cairo
Level up your Cairo. Write idiomatic, well-structured code and solve real problems with the right tools and patterns.
Cairo by Building Projects
Learn Cairo by shipping real projects. Each one adds a new skill and something concrete to your portfolio.
Intermediate Move
Level up your Move. Write idiomatic, well-structured code and solve real problems with the right tools and patterns.
Move by Building Projects
Learn Move by shipping real projects. Each one adds a new skill and something concrete to your portfolio.