Racket allows programmers to add new syntactic constructs in the same way that other languages permit the formulation of procedures, methods, or classes. All you need to do is formulate a simple …

Running raco docs (or Racket Documentation on Windows or Mac OS) may open a different page with local and user-specific documentation, including documentation for installed packages.

Chapter 2 provides a brief introduction to Racket. From Chapter 3 on, this guide dives into details— covering much of the Racket toolbox, but leaving precise details to The Racket Reference and other …

Most likely, you’ll want to explore the Racket language using DrRacket, especially at the beginning. If you prefer, you can also work with the command-line racket interpreter (see Running racket and …

This manual defines the core Racket language and describes its most prominent libraries. The companion manual The Racket Guide provides a friendlier (though less precise and less complete) …

The distribution includes pre-built, platform-independent bytecode; it installs much faster than plain source, and it is also compatible with fast installs of additional Racket packages.

Browse and download all versions of Racket, a versatile programming language, from this comprehensive archive.

For experienced programmers, to continue touring Racket from a systems-oriented perspective instead of pictures, your next stop is More: Systems Programming with Racket. To instead start learning …

The Racket Guide starts with a tutorial on Racket basics, and then it describes the rest of the Racket language. Of course, you should feel free to mix and match the above two tracks, since there is …

“Rosette is a solver-aided programming language that extends Racket with language constructs for program synthesis, verification, and more. To verify or synthesize code, Rosette compiles it to logical …