R6RS Semantics Model and Preliminary Reference Implementations

• PLT Redex implementation of the R6RS operational semantics (version 5.92), and a test suite for the semantics.

Reference implementations for the following R6RS components and libraries are planned. Those with links have preliminary implementations available now.

• Library and syntax-case (version 5.91)
• Arithmetic (5.91)
• Records (5.91)
• Unicode library (5.93) (new)
• Unicode reader (5.91)
• Exceptions & Conditions (5.91)
• Bytevectors (5.93) (new)
• I/O
• Hash tables
• List library
• Enumerations (5.91)

The reference implementation source code can also be viewed online via Jens Axel Søgaard's source code browser.