~wldhx

gnunet-hs

Haskell interface to GNUnet. Distributed routing, naming, etc.—typed and concurrent.

lalambda.school

Formal verification, compilers and rev eng school

libp2p-hs

Haskell bindings for go-libp2p.