1.simplex-chat / simplex-chatSimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!chatprotocole2eeprivacyhaskellsecurity+3 moreHaskellAGPL-3.020K total1.3K forks+33 starsfrom 19,602 · score 3.53
2.GaloisInc / cryptolCryptol: The Language of CryptographyHaskellBSD-3-CLAUSE1.2K total130 forks+2 starsfrom 1,225 · score 1.10