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