Courses
180 hands-on courses across every major language, framework, and discipline.
REXX Foundations
Start REXX from zero. Set up your environment, learn the core syntax, and write your first working programs with confidence.
Core REXX
Go beyond the basics of REXX: data types, collections, error handling, and the standard library you reach for every day.
Modula-2 Foundations
Start Modula-2 from zero. Set up your environment, learn the core syntax, and write your first working programs with confidence.
Core Modula-2
Go beyond the basics of Modula-2: data types, collections, error handling, and the standard library you reach for every day.
Oberon Foundations
Start Oberon from zero. Set up your environment, learn the core syntax, and write your first working programs with confidence.
Core Oberon
Go beyond the basics of Oberon: data types, collections, error handling, and the standard library you reach for every day.
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.