Ph.D. (Engineering). Interested in programming languages/formal lanruages/parser/...
- Osaka, Japan
- http://kmizu.hatenablog.com/
- @kmizu
-
onion Public
Forked from onion-lang/onionOnion - statically typed object-oriented programming language
-
render-prompt Public
A simple and powerful template rendering tool
Rust MIT License UpdatedDec 30, 2025 -
treep Public
Forked from treep-lang/treepTreep - Tree Processing Language
Scala UpdatedDec 23, 2025 -
parser_book Public
Forked from kahei/parser_bookアスキードワンゴで出版予定の構文解析本に関するリポジトリ
Java UpdatedDec 3, 2025 -
-
-
-
-
klassic Public
Forked from klassic/klassicKlassic is Yet Another Programming Language which enables Object-Functional Programming
-
mts Public
Tiny JavaScript-Like Programming Language on Deno
-
-
-
easy-regex-slide Public
「Nextbeat Tech Bar: 楽しい正規表現」における「20分でわかる!正規表現 」の発表資料です
HTML UpdatedJul 18, 2025 -
-
-
-
-
-
-
-
-
-
-
-
-
lemmy Public
Forked from badlogic/lemmyWrapper around tool using LLMs for agentic workflows
TypeScript UpdatedJun 4, 2025 -
macro_peg Public
Forked from macro-peg/macro_pegMacro PEG: PEG with macro-like rules
-
-
ai-lang Public
A dependently-typed programming language implemented in Python by AI (Claude Code).
-
Previous Next