Git repository browser

Name	Description	Owner	Idle
sicp-acl2.git	SICP with ACL2.	git	14 hours
acl2-theorems.git	Proofs with acl2	git	3 days
guix-config.git	System configurations	git	2 months
dotfiles.git	Personal dotfiles	git	2 months
tojo-tokyo-guix-channel.git	Guix Channel for git.tojo.tokyo's packages.	git	2 months
guile-sicp-picture-language.git	An implementation of SICP picture language for GNU Guile.	git	2 months
extract-green-color.git	Extract green color from a photo of LCD Writing Tablet.	git	3 months
guile-acl2.git	An implementation of Guile's ACL2 (A Computational Logic for Applicative Common ...	git	4 months
www-tojo-tokyo.git	My web site	git	4 months
pict-sexp.git	Draw sexp	git	4 months
map-avl.git	Simple implementation of AVL tree with R6RS	git	4 months
canny.git	Detect Canny edge	git	4 months
qkbox.git	Qkbox is a TojoQK's toybox	git	4 months
toot.git	Toot is a Mastodon Client in Guile REPL	git	4 months
vikalpa.git	Vikalpa is a proof assistant inspired by J-Bob	git	4 months
guix-channel.git	Personal guix packages	git	4 months
blackjack.git	A blackJack game implemented in ACL2	git	4 months