Masaya Tojo

pict-sexp. Draw sexp

tokyo.tojo.json. This is a JSON parser implemented in Coalton.

kakeibo. Managing my personal household accounts

blackjack. Racket

icon. My icon

aws-chez-scheme-runtime. aws chez scheme runtime

sexp-drill. Racket

forthqk. Concatnative language like forth

gregorianum. Gregorianum is a formally verified, correct-by-construction library for the Proleptic Gregorian Calendar, implemented in Agda.

tokyo.tojo.parser. LL(1) parser implemented in Coalton

chez-tojoqk. tojoqk’s chez scheme library

www-tojoqk-com. TojoQKのホームページ (https://www.tojoqk.com)

qk6. TojoQK’s R6RS library

aws-lambda-serverless. Racket on aws lambda with serverless framework

qkstack. qkstack

qkuniverse. Racket

youtube-local-playlist. Common Lisp