Racket’s a research-grade lisp intended to allow developers to explore the newest and greatest in macro technology.
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β¦
Fear of Macros
A practical guide to the Racket macro system.
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!
mode-lambda: the best 2D graphics of the 90s, today! Datalog: Deductive Database Programming
Rendering context...