aeva@mcc my suggestions for inclusion are Ada and/or SPARK, and I would like to offer the opinion that Scheme and Racket are different languages because no two Schemes are the same language, however you'd probably want to dive into the "unportable" features to keep it interesting.
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.