ihuku

Pinned Repositories

biwascheme-repl-demo
A demo of intaractive REPL with biwascheme.
Language:JavaScript00
cl-fsevent
File system event util for Common Lisp
Language:Common Lisp00
cl-naivechain
A simple Blockchain implementation in Common Lisp.
Language:Common Lisp00
flaskex
Simple flask example for quick prototypes and small applications
Language:Python00
fp-lean-ja
Functional Programming in Lean の日本語訳（作業中 🚧）
00
fp-lean-jp-local
Language:JavaScript00
Lean4-ND100
Lean4 solutions of ND100
Language:Lean00
fp-lean-ja
Functional Programming in Lean の日本語訳. 演習問題への解答を含みます（作業中 🚧）
Language:Lean52

ihuku's Repositories

ihuku/fp-lean-ja
Functional Programming in Lean の日本語訳（作業中 🚧）
ihuku/fp-lean-jp-local
Language:JavaScript
ihuku/Lean4-ND100
Lean4 solutions of ND100
Language:Lean
ihuku/flaskex
Simple flask example for quick prototypes and small applications
ihuku/cl-naivechain
A simple Blockchain implementation in Common Lisp.
Language:Common Lisp
ihuku/cl-fsevent
File system event util for Common Lisp
Language:Common Lisp
ihuku/biwascheme-repl-demo
A demo of intaractive REPL with biwascheme.
Language:JavaScript