ppavel

ppavel

catbook

Попытка донести теорию категорий, идею формализма до программистов. И уничтожить пару карго-культов под названиями «программирование» и «software engineering»

hs-bonjour

Haskell binding to Bonjour API

Probability

Some probability definitions and consequences in Agda

OpenCL Raw

fixes to opencl raw haskell package

SepLogic

Separation logic implementation in agda