Ishimoto Koji 's repositories
algorithm-d-rescript
Pattern Matching in Trees by Hoffmann and O'Donnell.
atcoder-haskell
my answers for atcoder
block-breaker
Ai generated block buster game
brainfuck-deno
brainfuck
chibivue
My own minimal vuejs/core implementations.
flow-sound
Experimental node editor for sound synthesis.
haskell-playground
My personal Haskell playground
ja.react.dev
React documentation website in Japanese
jurinsha
綾傘鉾の絵本の紹介サイト
lean-practice
my lean theorem prover playground
MainVault
Obsidian Notes Vault
mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
modern-compiler-sml
Modern Compiler Implementation in SML#
moon-examples
My playground for moonbit language.
phoenix-hello
first phoenix web application
pokeapi-viewer
Sample app using pokeapi
rescript-lox
lox language from craftinginterpreters
scheme-in-haskell
Write Yourself a Scheme in 48 Hours
scratch-garden
My own prototypes
tagify
🔖 lightweight, efficient Tags input component in Vanilla JS / React / Angular / Vue
tapl-rescript
tapl implementations in ReScript
tree-sitter-demo
tree sitter demo
zenn-public-repo
Zenn の無料記事用リポジトリ