Haskell interface to GNUnet. Distributed routing, naming, etc.—typed and concurrent.
Formal verification, compilers and rev eng school
Haskell bindings for go-libp2p.