本当にStandardと名乗っているSchemeの仕様はIEEE 1178-1990 - IEEE Standard for the Scheme Programming Language(RnRSでいうとR4RSに近い)だけなのだけれども、Schemeコミュニティで委員会を組織して改定を続けているRnRSが広義の標準とみなされていて、現時点で活発にメンテナンスされているScheme処理系はR6RSを実装している処理系とR7RSを実装している処理系に分かれる。
あ、Racket っていう面白い Scheme 派生処理系もあります
SAT ソルバについて講義で勉強するときに Racket を使ったな。
https://mstdn.maud.io/@omasanori/109393117757057781https://mstdn.anqou.net/@anqou/111361631821966558 [参照]
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。