Beast code in Giters

Shinji KONO's repositories

zf-in-agda

define ZF Set Theory in Agda and it's model on Ordinal and Ordinal Definable Set

Language:AgdaMIT14 10

sbc09

Lennart Benschop 6809 Single Board Computer

Language:CGPL-2.0500

automaton-in-agda

Automaton Theory in Agda

Language:AgdaMIT200

nmh-nkf

a branch of nmh for Japanese user. UTF8 only. scan, pick and mhl handle Japanese

Language:CNOASSERTION2 20

14x14ja

modified version of K14 and 7x14 unicode font

Language:PerlMIT020

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.

NOASSERTION000

GAME80

VTL like language for Z80

Language:AssemblyMIT000

homebrew-fuse-ext2

fuse-ext2 for macOS

Language:Ruby020

homebrew-ie

homebrew formulae for ie

Language:Ruby010

HyperReal-in-agda

Language:AgdaMIT000

locale-eaw

East Asian Ambiguous Width問題と絵文字の横幅問題の修正ロケール

Language:Emacs Lisp000

nvim-agda

Agda interaction pluging for neovim

Language:Lua000

rpls2html

Language:Perl030

shinji-kono.github.io

github pages

Language:HTML020

simple-first-order-logic-in-agda

Simple First Order Logic in Agda

Language:AgdaGPL-3.0020

smime-nmh

Perl script handling gpgsm base smime in nmh