Git repository browser

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