acl2-theorems.gitProofs with acl2 git10 days
blackjack.gitA blackJack game implemented in ACL2 git4 weeks
canny.gitDetect Canny edge git6 months
ci.gitUnnamed repository; edit this file 'description' to name the repository. git3 days
dotfiles.gitPersonal dotfiles git4 months
extract-green-color.gitExtract green color from a photo of LCD Writing Tablet. git5 months
guile-acl2.gitAn implementation of Guile's ACL2 (A Computational Logic for Applicative Common ...git6 months
guile-sicp-picture-language.gitAn implementation of SICP picture language for GNU Guile. git4 months
guix-channel.gitPersonal guix packages git6 months
guix-config.git System configurations git12 hours
map-avl.gitSimple implementation of AVL tree with R6RS git6 months
monitoring.gitUnnamed repository; edit this file 'description' to name the repository. git8 days
pict-sexp.gitDraw sexpgit6 months
qkbox.gitQkbox is a TojoQK's toybox git6 months
sicp-acl2.gitSICP with ACL2. git7 weeks
standard-52-card-deck.gitUnnamed repository; edit this file 'description' to name the repository. git4 weeks
tojo-tokyo-guix-channel.gitGuix Channel for's packages. git3 days
toot.gitToot is a Mastodon Client in Guile REPL git6 months
vikalpa.gitVikalpa is a proof assistant inspired by J-Bob git3 days
www-tojo-tokyo.gitMy web sitegit7 days