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+175 starsfrom 19,466 · score 5.17
2.GaloisInc / cryptolCryptol: The Language of CryptographyHaskellBSD-3-CLAUSE1.2K total130 forks+5 starsfrom 1,222 · score 1.79