index
NameDescriptionOwnerIdle
Projects
racket/pict-cons.gitDraw S-Expressions.21 months
life-archive-schema.gitSqitch: 私生活用 DB のマイグレーション管理.
extract-green-color.gitExtract green color from a photo of LCD Writing Tablet.3 years
guile-sicp-picture-language.gitSICP's picture language for Gulie.3 years
vikalpa.gitProof assistant inspired by J-Bob.2 years
canny.gitRacket で実装した Canny エッジを求めるプログラム.3 years
All
kakeibo-old.gitUnnamed repository; edit this file 'description' to name the repository. git
standard-52-card-deck.gitUnnamed repository; edit this file 'description' to name the repository. git3 years
config/dotfiles.gitPersonal dotfiles git3 years
ci.gitUnnamed repository; edit this file 'description' to name the repository. git18 months
canny.gitDetect Canny edge git3 years
tojo-tokyo-guix-channel.gitGuix Channel for git.tojo.tokyo's packages. git10 months
extract-green-color.gitExtract green color from a photo of LCD Writing Tablet. git3 years
map-avl.gitSimple implementation of AVL tree with R6RS git3 years
guile-sicp-picture-language.gitAn implementation of SICP picture language for GNU Guile. git3 years
init.el.gitUnnamed repository; edit this file 'description' to name the repository. git
guix-channel.gitPersonal guix packages git3 years
qkbox.gitQkbox is a TojoQK's toybox git3 years
guile-acl2.gitAn implementation of Guile's ACL2 (A Computational Logic for Applicative Common ...git3 years
blackjack.gitA blackJack game implemented in ACL2 git3 years
toot.gitToot is a Mastodon Client in Guile REPL git3 years
learn-acl2.gitUnnamed repository; edit this file 'description' to name the repository. git
life-archive-schema.gitSqitch: 私生活用 DB のマイグレーション管理. git
ob-acl2.gitUnnamed repository; edit this file 'description' to name the repository. git21 months
acl2-theorems.gitProofs with acl2 git2 years
photos-schema.gitUnnamed repository; edit this file 'description' to name the repository. git
bookshelf.gitUnnamed repository; edit this file 'description' to name the repository. git
scripts.gitUnnamed repository; edit this file 'description' to name the repository. git
monitoring.gitUnnamed repository; edit this file 'description' to name the repository. git2 years
racket/pict-cons.gitDraw sexpgit21 months
vikalpa.gitVikalpa is a proof assistant inspired by J-Bob git2 years