SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

Pattern language

Dapp, Seth, Hevm, and more

Deep Learning in Haskell

A peer-to-peer stack for code collaboration

A visual Haskell

Main source code repository of the Tamarin prover for security protocol verification.

Music in Haskell

A Haskell-based library for algorithmic and automated composition. This library was the subject of my dissertation at Yale university and is the subject of my ongoing work.

Music and sound synthesis in Haskell!

Minimal blockchain in Haskell

Epidemic Broadcast Trees implementation using HyParView