R6RS Semantics Model and Reference Implementations

Formal Semantics

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

Library Reference Implementations

Reference implementations for a number of R6RS libraries are available. Note that some of them correspond to preliminary versions of the report.

• Arithmetic (5.91)
• Records (5.91)
• Unicode library (5.93)
• Reader
• Exceptions & Conditions
• Bytevectors (5.93)
• I/O
• Hash tables
• List library
• Enumerations (5.91)

Library System Implementations

Two implementations of the R6RS library/syntax system have been contributed:

• The psyntax implementation by Abdulaziz Ghuloum and Kent Dybvig
• The implementation by Andre van Tonder.