Git repository browser

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