References & Downloads
This final page gathers everything you need to keep going across all 21 languages on this roadmap: official documentation and downloads, browser tools that need no installation, free courses, and open-source samples. Every link is free to read or free to start.
Official Documentation & Downloads
Start here for each language: the authoritative site, docs, and the official installer.
| Language | Official docs & downloads |
|---|---|
| Forth | Forth Inc. · Forth Standard · Gforth |
| FASM | flatassembler.net · OSDev FASM guide |
| Verilog | IEEE 1364 · Icarus Verilog · Verilator |
| LLVM IR | llvm.org · Language Reference |
| Triton | triton-lang.org · openai/triton |
| Mojo | Mojo docs · modularml/mojo |
| Julia | julialang.org · Documentation |
| R | The R Project · CRAN |
| MATLAB / Octave | MATLAB · GNU Octave |
| Wolfram Language | Wolfram Language · Wolfram Engine (free) |
| Stan | mc-stan.org · Documentation |
| Prolog | SWI-Prolog · GNU Prolog |
| Datalog | Soufflé · pyDatalog |
| Clingo (ASP) | potassco.org/clingo · Releases |
| MiniZinc | minizinc.org · Documentation |
| Lisp | SBCL · CL HyperSpec · Quicklisp |
| AutoLISP | AutoCAD developer docs · Autodesk Knowledge Network |
| Clojure | clojure.org · ClojureDocs |
| ANTLR | antlr.org · antlr/antlr4 · grammars-v4 |
| Racket | racket-lang.org · Documentation |
| OCaml | ocaml.org · opam · Menhir |
Playgrounds & No-Install Tools
Try any of these in the browser before installing anything.
| Tool | Language | What it is |
|---|---|---|
| SWISH | Prolog | SWI-Prolog in the browser, with examples and sharing. |
| clingo (browser) | ASP | Run answer-set programs online via the Potassco site. |
| MiniZinc Playground | MiniZinc | Model and solve constraint problems with bundled solvers. |
| EDA Playground | Verilog | Simulate HDL designs in the browser; includes testbenches. |
| Compiler Explorer | LLVM IR / FASM | Compile C/C++ and read the IR or assembly instantly. |
| Wolfram Cloud | Wolfram | Free notebooks running the Wolfram Language. |
| Octave Online | MATLAB/Octave | GNU Octave in the browser, no install. |
| R snippets | R | Run small R programs in the browser. |
| JuliaHub | Julia | Cloud Julia notebooks and package exploration. |
| JDoodle | Lisp / Clojure | Online compilers for Common Lisp and Clojure, no install. |
| ANTLR Lab | ANTLR | The official browser tool from antlr.org: write a grammar and draw its parse trees, no install. |
| OCaml Playground | OCaml | Compile and run OCaml straight in the browser, with sharing. |
Free Courses & Tutorials
Work through these in order; each one is free and self-paced.
| Resource | Language | Best for |
|---|---|---|
| Starting Forth | Forth | The classic beginner book, free online. |
| HDLBits | Verilog | Hundreds of graded hardware exercises. |
| LLVM for Grad Students | LLVM IR | The friendliest introduction to LLVM internals. |
| Triton tutorials | Triton | From vector add to fused attention, step by step. |
| Mojo guides | Mojo | Ownership, SIMD, metaprogramming, and GPU programming. |
| JuliaAcademy | Julia | Free video courses for scientists and programmers. |
| R for Data Science | R | The modern canonical introduction to R. |
| MATLAB Onramp | MATLAB/Octave | Interactive MATLAB basics, free with a MathWorks account. |
| Wolfram U | Wolfram | Free courses and certification for the Wolfram Language. |
| Bayes Rules! | Stan | A free intro to Bayesian statistics with Stan examples. |
| Learn Prolog Now! | Prolog | The classic free Prolog course. |
| Soufflé tutorial | Datalog | From first facts to recursive analysis. |
| Answer Set Solving in Practice | ASP | The Potassco team’s free book on answer set programming. |
| MiniZinc tutorial | MiniZinc | The built-in course from first model to advanced techniques. |
| Practical Common Lisp | Lisp | The free classic introduction to Common Lisp. |
| AfraLisp | AutoLISP | Free AutoLISP tutorials from basics to advanced entities. |
| Clojure for the Brave and True | Clojure | The free online book that makes Clojure approachable. |
| Getting Started with ANTLR v4 | ANTLR | The official guide from first grammar to a working parser. |
| Beautiful Racket | Racket | The free book that walks you to your first custom #lang. |
| OCaml Programming: Correct + Efficient + Beautiful | OCaml | The free Cornell textbook, from basics to parallel programming. |
| ANTLR Documentation | ANTLR | The official free reference for grammars, the tool, and runtimes. |
| The Racket Guide | Racket | The official free walkthrough, including the Macros and Creating Languages chapters. |
| OCaml Language Manual | OCaml | The official free reference: language, modules, tools, ocamllex and Menhir. |
Open-Source Samples & Challenges
Read real code, clone repositories, and modify them — the fastest way to consolidate a language.
| Source | Language | What it is |
|---|---|---|
| openai/triton | Triton | Reference kernels and the compiler source. |
| modularml/mojo | Mojo | Open-source compiler, stdlib, and examples. |
| KolibriOS | FASM | A complete GUI operating system written in assembly. |
| potassco/clingo | ASP | Solver source with an examples directory of models. |
| TheAlgorithms/R | R | Algorithms and data structures in R. |
| MiniZinc organization | MiniZinc | Compiler, solver interfaces, and challenge models. |
| Soufflé examples | Datalog | Tutorial analyses: points-to, taint, and reachability. |
| Gforth | Forth | The GNU Forth with a substantial test suite. |
| antlr/grammars-v4 | ANTLR | Hundreds of ready-to-read grammars for study and reuse. |
| racket/racket | Racket | The Racket implementation, packages, and extensive test suites. |
| ocaml/ocaml | OCaml | The compiler, runtime, standard library, and test suite source. |
How to Choose & Next Steps
Follow the problem, not the hype:
- Bare-metal firmware, boot code, or tiny footprints — start with Forth, then FASM when you need byte-exact control.
- Digital hardware or FPGAs — learn Verilog (and HDLBits for practice).
- Building compilers or language runtimes — study LLVM IR; Godbolt makes it visible in seconds.
- Building a parser or a compiler front end — ANTLR when you want a grammar-to-recognizer generator with many target languages; Racket when you want to design a new language (
#lang, macros); OCaml when you want a type-safe implementation with ocamllex and Menhir. - Custom GPU kernels — write them in Triton before reaching for CUDA.
- AI infrastructure and inference serving — evaluate Mojo; for broader scientific computing, Julia.
- Statistics, modeling, and reporting — R for statistics, MATLAB/Octave for matrices, Wolfram for symbolic work, Stan for Bayesian inference.
- Logic and reasoning — Prolog for interactive knowledge systems, Datalog for data-scale rules, Clingo for combinatorial search, MiniZinc for constraint optimization.
- Symbolic, Lisp-style, and CAD automation — Lisp for metaprogramming and symbolic work, AutoLISP for automating AutoCAD, Clojure for Lisp on the JVM.
Pick one language per row, install it from the tables above, and run the example from its topic page. Then take the next topic in the roadmap — every page links its official docs inline, and this page is your home base for everything else.