haskell-libraries topic

Haskell-C++ Foreign Function Interface Generator

wavewave

💂‍♂️ Lightweight pure validation based on Applicative and Selective functors

kowainik

Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)

ret