index
NameDescriptionOwnerIdle
sicp-acl2.gitSICP with ACL2. git14 hours
acl2-theorems.gitProofs with acl2 git3 days
guix-config.git System configurations git2 months
dotfiles.gitPersonal dotfiles git2 months
tojo-tokyo-guix-channel.gitGuix Channel for git.tojo.tokyo's packages. git2 months
guile-sicp-picture-language.gitAn implementation of SICP picture language for GNU Guile. git2 months
extract-green-color.gitExtract green color from a photo of LCD Writing Tablet. git3 months
guile-acl2.gitAn implementation of Guile's ACL2 (A Computational Logic for Applicative Common ...git4 months
www-tojo-tokyo.gitMy web sitegit4 months
pict-sexp.gitDraw sexpgit4 months
map-avl.gitSimple implementation of AVL tree with R6RS git4 months
canny.gitDetect Canny edge git4 months
qkbox.gitQkbox is a TojoQK's toybox git4 months
toot.gitToot is a Mastodon Client in Guile REPL git4 months
vikalpa.gitVikalpa is a proof assistant inspired by J-Bob git4 months
guix-channel.gitPersonal guix packages git4 months
blackjack.gitA blackJack game implemented in ACL2 git4 months