ihuku

ihuku's Stars

• lean-ja/fp-lean-ja

  Functional Programming in Lean の日本語訳. 演習問題への解答を含みます（作業中 🚧）

  Language:Lean52

• crypto101/book

  Crypto 101, the introductory book on cryptography.

  Language:Python3k191

• cstack/db_tutorial

  Writing a sqlite clone from scratch in C

  Language:C9.4k957