Naoya Furudono's repositories
naoyafurudono.github.io
ブログのソースとデプロイ管理
church-enc
executable church encoded list
000
coreutils
upstream mirror
Language:CGPL-3.0000
Language:TypeScript000
tools
ちょっとしたCLIツール
Language:Python000
verifier
代数学特論での検証器の実装
Language:Python000
cpython
The Python programming language
NOASSERTION000
000
dummy
git hook の確認用
000
Language:Shell000
000
graal
GraalVM: Run Programs Faster Anywhere :rocket:
NOASSERTION000
000
hello-flutter
ふらふらフラッター
Language:C++000
Language:Shell000
hugo-theme-noteworthy
A minimalist Hugo theme for writers and bloggers
Language:HTMLMIT000
Language:Ruby000
madoko
Madoko is a fast markdown processor for high quality academic and technical articles
Language:HTMLNOASSERTION000
naoyafurudono
Config files for my GitHub profile.
000
Language:Vim Script000
Language:TeX000
MIT000
Language:Racket000
Language:CMIT000
textql
Execute SQL against structured text like CSV or TSV
MIT000
Language:HTML000
xkeysnail
Yet another keyboard remapping tool for X environment
000