TojoQK's Git Repositories

Name	Description	Owner	Idle
01 Project
infix-to-prefix.git	An R7RS library for converting infix formula to prefix expression.	Masaya Tojo
r7rs-accel-asc.git	This library provides an implementation of the algorithm called `accel_asc` by J...	Masaya Tojo
r7rs-pnm.git	Library for reading and writing PNM (Portable Any Map) files for R7RS	Masaya Tojo
05 My Library
qklib.git	My R7RS utilities.	Masaya Tojo
09 Guix-Channel
tojo-tokyo-guix-channel.git	Guix Channel for git.tojo.tokyo's packages.	Masaya Tojo	2 months
10 Racket
racket/pict-cons.git	Draw sexp	Masaya Tojo	2 years
racket/canny.git	Detect Canny edge	Masaya Tojo	4 years
12 ACL2
acl2-theorems.git	Proofs with acl2	Masaya Tojo	3 years
blackjack.git	A blackJack game implemented in ACL2	Masaya Tojo	3 years
standard-52-card-deck.git	ACL2 でトランプを扱うためのやつ	Masaya Tojo	3 years
bookshelf.git	ACL2 で作ってみた自作ライブラリ関連	Masaya Tojo
13 Emacs
ob-acl2.git	emacs の org-babel で ACL2 を使うためのもの	Masaya Tojo	2 years
20 Diary System
diary-schema.git	Sqitch による日記と写真を管理するためのスキーマ定義	Masaya Tojo
diary-system.git	日記管理システム	Masaya Tojo
21 Git/CI System
ci.git	ci.tojo.tokyo の CI の設定	Masaya Tojo	4 weeks
30 Learning
learning-react.git	Unnamed repository; edit this file 'description' to name the repository.	Masaya Tojo
99 Archived
vikalpa.git	Vikalpa is a proof assistant inspired by J-Bob	Masaya Tojo	3 years
guile-sicp-picture-language.git	An implementation of SICP picture language for GNU Guile.	Masaya Tojo	3 years
extract-green-color.git	Extract green color from a photo of LCD Writing Tablet.	Masaya Tojo	4 years
guile-acl2.git	An implementation of Guile's ACL2 (A Computational Logic for Applicative Common ...	Masaya Tojo	4 years
map-avl.git	Simple implementation of AVL tree with R6RS	Masaya Tojo	4 years
toot.git	Toot is a Mastodon Client in Guile REPL	Masaya Tojo	4 years
guix-channel.git	Personal guix packages	Masaya Tojo	4 years
chicken/algebraic-structures.git	Provides useful algebraic structures for programming using parametric modules.	Masaya Tojo
get-youtube-rss-url.git	YouTube のチャンネルの URL から RSS の URL を抽出する	Masaya Tojo
life-archive-schema.git	Sqitch: 私生活用 DB のマイグレーション管理.	Masaya Tojo
photos-schema.git	Unnamed repository; edit this file 'description' to name the repository.	Masaya Tojo
99 Others
monitoring.git	Unnamed repository; edit this file 'description' to name the repository.	Masaya Tojo	3 years
config/dotfiles.git	Personal dotfiles	Masaya Tojo	3 years
qkbox.git	Qkbox is TojoQK's toybox	Masaya Tojo	4 years
init.el.git	Unnamed repository; edit this file 'description' to name the repository.	Masaya Tojo
kakeibo-old.git	Unnamed repository; edit this file 'description' to name the repository.	Masaya Tojo
learn-acl2.git	Unnamed repository; edit this file 'description' to name the repository.	Masaya Tojo
scripts.git	Unnamed repository; edit this file 'description' to name the repository.	Masaya Tojo