TojoQK's Git Repositories
TojoQKが公開している Git のリポジトリ
index
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
5 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