Courses
294 hands-on courses across every major language, framework, and discipline.
Standard ML Foundations
Start Standard ML from zero. Set up your environment, learn the core syntax, and write your first working programs with confidence.
Core Standard ML
Go beyond the basics of Standard ML: data types, collections, error handling, and the standard library you reach for every day.
Mercury Foundations
Start Mercury from zero. Set up your environment, learn the core syntax, and write your first working programs with confidence.
Core Mercury
Go beyond the basics of Mercury: data types, collections, error handling, and the standard library you reach for every day.
Idris Foundations
Start Idris from zero. Set up your environment, learn the core syntax, and write your first working programs with confidence.
Core Idris
Go beyond the basics of Idris: data types, collections, error handling, and the standard library you reach for every day.
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.
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.
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.
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.
Verilog Foundations
Start Verilog from zero. Set up your environment, learn the core syntax, and write your first working programs with confidence.
Core Verilog
Go beyond the basics of Verilog: data types, collections, error handling, and the standard library you reach for every day.
VHDL Foundations
Start VHDL from zero. Set up your environment, learn the core syntax, and write your first working programs with confidence.
Core VHDL
Go beyond the basics of VHDL: data types, collections, error handling, and the standard library you reach for every day.
Vyper Foundations
Start Vyper from zero. Set up your environment, learn the core syntax, and write your first working programs with confidence.
Core Vyper
Go beyond the basics of Vyper: data types, collections, error handling, and the standard library you reach for every day.
Cairo Foundations
Start Cairo from zero. Set up your environment, learn the core syntax, and write your first working programs with confidence.
Core Cairo
Go beyond the basics of Cairo: data types, collections, error handling, and the standard library you reach for every day.
Move Foundations
Start Move from zero. Set up your environment, learn the core syntax, and write your first working programs with confidence.
Core Move
Go beyond the basics of Move: data types, collections, error handling, and the standard library you reach for every day.