Shinji KONO's repositories
zf-in-agda
define ZF Set Theory in Agda and it's model on Ordinal and Ordinal Definable Set
automaton-in-agda
Automaton Theory in Agda
homebrew-fuse-ext2
fuse-ext2 for macOS
HyperReal-in-agda
HyperReal-in-agda
category-agda
Category Theory in Agda
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.
cr-stack
cr web page using Stack hugo theme
homebrew-ie
homebrew formulae for ie
locale-eaw
East Asian Ambiguous Width問題と絵文字の横幅問題の修正ロケール
macos-text-replacement
managing macOS Text Replacement Database
nvim-agda
Agda interaction pluging for neovim
shinji-kono.github.io
github pages
simple-first-order-logic-in-agda
Simple First Order Logic in Agda
t2tikzcd
Convert ASCII commutative diagram to tikzcd LaTeX command
uim
A multilingual input method framework