Parsing, analyzing, and comparing source code across many languages

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

A modern proof language

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

Smart Contracts Running on a BFT Hardened Raft

A graphical interactive proof assistant designed for education

hoodle : A pen notetaking program written in haskell

An experiment in controlling the size of a thread pool using a PID controller.

3D L-Systems in Haskell drawn with OpenGL