| 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 | |
