Racket's a research-grade lisp intended to allow developers to explore the newest and greatest in macro technology. # Utilities [Welcome to PLT Redex](https://redex.racket-lang.org/): A semantics encoding engine built with the Racket ecosystem. [Redex Semantics Engineering](https://docs.racket-lang.org/redex/index.html). [GitHub - lexi-lambda/hackett: WIP implementation of a Haskell-like Lisp in Ra…](https://github.com/lexi-lambda/hackett) # Learning [Fear of Macros](https://www.greghendershott.com/fear-of-macros/index.html) A practical guide to the Racket macro system. # Textbooks [HTDP](https://htdp.org/) The classic. I used this for the freshman year intro course. [PLAI](https://docs.racket-lang.org/plai/index.html) Sriram and Lerner. [Pie](https://docs.racket-lang.org/pie/index.html) the programming language used for [The Little Typer](http://thelittletyper.com/), with a [cool fork](https://docs.racket-lang.org/pie-a-let-mode/index.html)! # Libraries worth trying! [mode-lambda: the best 2D graphics of the 90s, today!](https://docs.racket-lang.org/mode-lambda/index.html) [Datalog: Deductive Database Programming](https://docs.racket-lang.org/datalog/index.html)