Git repository browser
a fast webinterface for the git dscm
index
Name
Description
Owner
Idle
Projects
racket/pict-cons.git
Draw S-Expressions.
16 months
life-archive-schema.git
Sqitch: 私生活用 DB のマイグレーション管理.
extract-green-color.git
Extract green color from a photo of LCD Writing Tablet.
2 years
guile-sicp-picture-language.git
SICP's picture language for Gulie.
2 years
vikalpa.git
Proof assistant inspired by J-Bob.
2 years
canny.git
Racket で実装した Canny エッジを求めるプログラム.
3 years
All
kakeibo-old.git
Unnamed repository; edit this file 'description' to name the repository.
git
standard-52-card-deck.git
Unnamed repository; edit this file 'description' to name the repository.
git
2 years
config/dotfiles.git
Personal dotfiles
git
2 years
ci.git
Unnamed repository; edit this file 'description' to name the repository.
git
13 months
canny.git
Detect Canny edge
git
3 years
tojo-tokyo-guix-channel.git
Guix Channel for git.tojo.tokyo's packages.
git
5 months
extract-green-color.git
Extract green color from a photo of LCD Writing Tablet.
git
2 years
map-avl.git
Simple implementation of AVL tree with R6RS
git
3 years
guile-sicp-picture-language.git
An implementation of SICP picture language for GNU Guile.
git
2 years
init.el.git
Unnamed repository; edit this file 'description' to name the repository.
git
guix-channel.git
Personal guix packages
git
3 years
qkbox.git
Qkbox is a TojoQK's toybox
git
3 years
guile-acl2.git
An implementation of Guile's ACL2 (A Computational Logic for Applicative Common ...
git
2 years
blackjack.git
A blackJack game implemented in ACL2
git
2 years
toot.git
Toot is a Mastodon Client in Guile REPL
git
3 years
learn-acl2.git
Unnamed repository; edit this file 'description' to name the repository.
git
life-archive-schema.git
Sqitch: 私生活用 DB のマイグレーション管理.
git
ob-acl2.git
Unnamed repository; edit this file 'description' to name the repository.
git
16 months
acl2-theorems.git
Proofs with acl2
git
2 years
bookshelf.git
Unnamed repository; edit this file 'description' to name the repository.
git
scripts.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
2 years
racket/pict-cons.git
Draw sexp
git
16 months
vikalpa.git
Vikalpa is a proof assistant inspired by J-Bob
git
2 years