Racket

Utilities

[Welcome to PLT Redex] : A semantics encoding engine built with the Racket ecosystem.

[Redex Semantics Engineering].

[GitHub - lexi-lambda/hackett: WIP implementation of a Haskell-like Lisp in Ra...]

Learning

• [Fear of Macros] :: A practical guide to the Racket macro system.

Textbooks

• [HTDP] :: The classic. I used this for the freshman year intro course.
• [PLAI] :: Sriram and Lerner.
• [Pie] :: the programming language used for [The Little Typer], with a [cool fork]!

Libraries worth trying!

[mode-lambda: the best 2D graphics of the 90s, today!]

[Datalog: Deductive Database Programming]