kmizu

Ph.D. (Engineering). Interested in programming languages/formal lanruages/parser/...

Osaka, Japan

Pinned Repositories

jsonda
A DSL for constructing json-like data sturctures
Language:Scala39 5 64
kollection
Immutable Collection Libraries and Additional Utilities for Kotlin
Language:Kotlin16 2 00
kotbinator
Parser Combinator Library in Kotlin
Language:Kotlin11 2 00
minis
A Programming Language implemented in JavaScript
Language:JavaScript18 2 00
nub
A Tiny Programming Language
Language:Java37 8 68
nuko
日本語プログラミング言語「Nuko」
Language:Scala16 3 00
pegex
A PEG-based pattern matching library EXtended by back reference with regex-like notation in Scala
Language:Scala26 3 03
scomb
SComb: Simple but Powerful Parser Combinator Library
Language:Scala19 2 03

kmizu's Repositories

kmizu/pegex
A PEG-based pattern matching library EXtended by back reference with regex-like notation in Scala
Language:Scala26 3 03
kmizu/scomb
SComb: Simple but Powerful Parser Combinator Library
Language:Scala19 2 03
kmizu/ai-lang
A dependently-typed programming language implemented in Python by AI (Claude Code).
Language:Python10
kmizu/onion
Onion - statically typed object-oriented programming language
Language:Scala8 3 0
kmizu/klassic
Klassic is Yet Another Programming Language which enables Object-Functional Programming
Language:Scala7 3 0
kmizu/spnuts
Fork of Pnuts Scripting Language
Language:Java5 2 02
kmizu/kmizu.github.com
@kmizu's github pages
Language:JavaScript4 3 71
kmizu/JavaPuyo
A game similar to Puyo Puyo that I made when I was in the third year of high school
Language:Java3 1 0
kmizu/skala
A minimal programming language written in Scala 3
Language:Scala2
kmizu/ctsfun
Language:Scala1
kmizu/gs-mark2slides
Marp-based Markdown to Google Slide
Language:TypeScript1
kmizu/macro_peg
Macro PEG: PEG with macro-like rules
Language:Scala1 2 0
kmizu/mastra
The TypeScript AI agent framework. ⚡ Assistants, RAG, observability. Supports any LLM: GPT-4, Claude, Gemini, Llama.
1
kmizu/tylang
A Statically Typed Programming Language
Language:Scala1
kmizu/easy-fp
かんたん関数型プログラミング
kmizu/easy-python
Claude Codeが書いたPython入門書
Language:Makefile
kmizu/easy-regex-slide
「Nextbeat Tech Bar：楽しい正規表現」における「20分でわかる！正規表現」の発表資料です
Language:HTML
kmizu/easy-scala3
「かんたんScala 3：
Language:PowerShell
kmizu/easy-transformer
かんたんTransformer
Language:Shell
kmizu/galge-english
ギャルゲを題材にして学ぶ中高英語
kmizu/kamigami-no-tatakai
小説「神々の闘い」
Language:Shell
kmizu/kouhai-js
後輩女子高生にJavaScriptを教えるラブコメ
kmizu/lemmy
Wrapper around tool using LLMs for agentic workflows
kmizu/mcp-web-cam
A MCP server for using web camera
Language:TypeScript
kmizu/novel-editor
小説執筆支援エディタ
Language:TypeScript
kmizu/ore-no-lovecome-ha-konnna-hazu-ja-nakatta
ラブコメ小説
Language:Python
kmizu/osananajimi
幼馴染もの長編ラブコメ小説
Language:Python
kmizu/sf-novel
トンデモオカルトSF小説
Language:Shell
kmizu/support-ts-tapl
『TypeScriptではじめる型システム』（n月刊ラムダノート2024, Vol.4, No.3）サポートサイト
kmizu/tdiary-tsukuba
昔の日記
Language:HTML