Courses
611 hands-on courses across every major language, framework, and discipline.
Stata by Building Projects
Learn Stata by shipping real projects. Each one adds a new skill and something concrete to your portfolio.
Intermediate AWK
Level up your AWK. Write idiomatic, well-structured code and solve real problems with the right tools and patterns.
AWK by Building Projects
Learn AWK by shipping real projects. Each one adds a new skill and something concrete to your portfolio.
Intermediate REXX
Level up your REXX. Write idiomatic, well-structured code and solve real problems with the right tools and patterns.
REXX by Building Projects
Learn REXX by shipping real projects. Each one adds a new skill and something concrete to your portfolio.
Intermediate Modula-2
Level up your Modula-2. Write idiomatic, well-structured code and solve real problems with the right tools and patterns.
Modula-2 by Building Projects
Learn Modula-2 by shipping real projects. Each one adds a new skill and something concrete to your portfolio.
Intermediate Oberon
Level up your Oberon. Write idiomatic, well-structured code and solve real problems with the right tools and patterns.
Oberon by Building Projects
Learn Oberon by shipping real projects. Each one adds a new skill and something concrete to your portfolio.
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.