Trie-based memo functions

Automatically generate Haskell bindings from C header files

join and meet semilattices, lower and upper bounds.

(주)다음과 부산대학교 인공지능연구실/(주)나라인포테크의 웹 서비스를 이용한 한글 맞춤법 검사기.

Generic implementation of different CFA families based on monadic decomposition

Class of data structures that can be unfolded.

A cross-platform dotfiles manager

An implementation of "Learn Physics with Functional Programming: A Hands-on Guide to Exploring Physics with Haskell"

Curry-Howard isomorphism for deontic logic — formalizing Korean Civil Act with Haskell type-level stratified defeasibility