Masaya Tojo

SICP with ACL2 (OLD) See https://git.tojo.tokyo/sicp-acl2/

A blackJack game implemented in ACL2.

Personal packages.

Tojo's web site

This project is TojoQK's games without JavaScript.

Mastodon client.

TojoQK's toybox.

An ambiguous operator for Guile.

Ssql-Postgresql is a S-expression SQL to PostgreSQL's SQL string converter.

S-expression to PostgreSQL convertor.

A fast monolithic framework of Scheme language

Implement of life game.