Pinned Repositories
automaton-in-agda
Automaton Theory in Agda
Galois
GAME80
VTL like language for Z80
homebrew-fuse-ext2
fuse-ext2 for macOS
HyperReal-in-agda
HyperReal-in-agda
nmh-nkf
a branch of nmh for Japanese user. UTF8 only. scan, pick and mhl handle Japanese
sbc09
Lennart Benschop 6809 Single Board Computer
zf-in-agda
define ZF Set Theory in Agda and it's model on Ordinal and Ordinal Definable Set
shinji-kono's Repositories
shinji-kono/zf-in-agda
define ZF Set Theory in Agda and it's model on Ordinal and Ordinal Definable Set
shinji-kono/sbc09
Lennart Benschop 6809 Single Board Computer
shinji-kono/automaton-in-agda
Automaton Theory in Agda
shinji-kono/Galois
shinji-kono/nmh-nkf
a branch of nmh for Japanese user. UTF8 only. scan, pick and mhl handle Japanese
shinji-kono/GAME80
VTL like language for Z80
shinji-kono/homebrew-fuse-ext2
fuse-ext2 for macOS
shinji-kono/HyperReal-in-agda
HyperReal-in-agda
shinji-kono/14x14ja
modified version of K14 and 7x14 unicode font
shinji-kono/category-agda
Category Theory in Agda
shinji-kono/category-exercise-in-agda
shinji-kono/CbC-llvm
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
shinji-kono/cr-stack
cr web page using Stack hugo theme
shinji-kono/homebrew-ie
homebrew formulae for ie
shinji-kono/locale-eaw
East Asian Ambiguous Width問題と絵文字の横幅問題の修正ロケール
shinji-kono/macos-text-replacement
managing macOS Text Replacement Database
shinji-kono/nvim-agda
Agda interaction pluging for neovim
shinji-kono/rpls2html
shinji-kono/shinji-kono.github.io
github pages
shinji-kono/simple-first-order-logic-in-agda
Simple First Order Logic in Agda
shinji-kono/smime-nmh
Perl script handling gpgsm base smime in nmh
shinji-kono/t2tikzcd
Convert ASCII commutative diagram to tikzcd LaTeX command
shinji-kono/uim
A multilingual input method framework