Yusuke Matsushita

wiwinwlh-jp. What I Wish I Knew When Learning Haskell 日本語訳

fp-papers. 関数型プログラミングに関する論文の非公式日本語訳

lens-japanese. https://github.com/ekmett/lens のドキュメントの非公式日本語訳

fp-blogs. 関数型プログラミング界隈のブログの非公式日本語訳

type-level-bst. Type-Level Binary Search Tree in Haskell

cluss. simple alternative to type classes

rapunsl-lean. Lean Mechanization of RapunSL

Luan. 漢字プログラミング言語「亂」

thorn. Datatype Manipulation with Template Haskell

iscs-thesis. iscs-thesis revised

bfs-prolog. Breadth-first search Prolog-like tool with succinct implemenation

show-type. Convert Types into String Values in Haskell

coq. Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

tegaki-hack. beautiful vector graphics editor for smart phones

compare-type. Compare Types of Any Kinds in Haskell

verona. Research programming language for concurrent ownership

shiatsumat.github.io. GitHub Pages

defargs. default arguments in haskell

Kinokkory.github.io. Haskell

hoice. An ICE-based predicate synthesizer for Horn clauses.

FStar. Verification system for effectful programs

wiwinwlh. What I Wish I Knew When Learning Haskell

QuantumAnimalChess. 量子どうぶつしょうぎとAI

Hash. A Much Better C++

HaskellLecture. my "Haskell Lecture" for NPCA members