blamario

blamario's Stars

• simplex-chat/simplex-chat

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

  Language:Haskell7k711.2k319

• Carnap/Carnap

  A formal logic framework that runs in the browser

  Language:Haskell2702128028