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 | 5 weeks |
10 Racket |
racket/pict-cons.git | Draw sexp | Masaya Tojo | 3 years |
racket/canny.git | Detect Canny edge
| Masaya Tojo | 4 years |
12 ACL2 |
acl2-theorems.git | Proofs with acl2
| Masaya Tojo | 4 years |
blackjack.git | A blackJack game implemented in ACL2
| Masaya Tojo | 4 years |
standard-52-card-deck.git | ACL2 でトランプを扱うためのやつ
| Masaya Tojo | 4 years |
bookshelf.git | ACL2 で作ってみた自作ライブラリ関連
| Masaya Tojo | |
13 Emacs |
ob-acl2.git | emacs の org-babel で ACL2 を使うためのもの
| Masaya Tojo | 3 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 | 7 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 | 4 years |
guile-sicp-picture-language.git | An implementation of SICP picture language for GNU Guile.
| Masaya Tojo | 4 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 | 4 years |
config/dotfiles.git | Personal dotfiles
| Masaya Tojo | 4 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 | |