Git repository browser

Name	Description	Owner	Idle
guix-config.git	System configurations	git	2 weeks
ob-acl2.git	Unnamed repository; edit this file 'description' to name the repository.	git	5 weeks
ci.git	Unnamed repository; edit this file 'description' to name the repository.	git	5 weeks
tojo-tokyo-guix-channel.git	Guix Channel for git.tojo.tokyo's packages.	git	5 weeks
vikalpa.git	Vikalpa is a proof assistant inspired by J-Bob	git	6 weeks
www-tojo-tokyo.git	My web site	git	6 weeks
monitoring.git	Unnamed repository; edit this file 'description' to name the repository.	git	7 weeks
acl2-theorems.git	Proofs with acl2	git	7 weeks
blackjack.git	A blackJack game implemented in ACL2	git	2 months
standard-52-card-deck.git	Unnamed repository; edit this file 'description' to name the repository.	git	2 months
sicp-acl2.git	SICP with ACL2.	git	3 months
dotfiles.git	Personal dotfiles	git	5 months
guile-sicp-picture-language.git	An implementation of SICP picture language for GNU Guile.	git	5 months
extract-green-color.git	Extract green color from a photo of LCD Writing Tablet.	git	6 months
guile-acl2.git	An implementation of Guile's ACL2 (A Computational Logic for Applicative Common ...	git	7 months
pict-sexp.git	Draw sexp	git	7 months
map-avl.git	Simple implementation of AVL tree with R6RS	git	7 months
canny.git	Detect Canny edge	git	7 months
qkbox.git	Qkbox is a TojoQK's toybox	git	7 months
toot.git	Toot is a Mastodon Client in Guile REPL	git	7 months
guix-channel.git	Personal guix packages	git	7 months