PrototypeCommune
idris-hackers/idris-crypto
Implementation of cryptographic primitives using Idris
- Propriétaire
- idris-hackers (organisation)
- Étoiles
- Étoiles : 121
- Forks
- Forks : 13
- Langage
- Idris
- Licence
- BSD-3-Clause
- Création
- 2014
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de idris-hackers
Les 8 dépôts de idris-hackers- idris-hackers/software-foundationsÉtoiles : 459IdrisAlpha
- idris-hackers/idris-modeÉtoiles : 275Emacs LispAlpha
- idris-hackers/idris-vimÉtoiles : 221Vim ScriptPrototype
- idris-hackers/idris-demosÉtoiles : 195IdrisPrototype
- idris-hackers/idris-koansÉtoiles : 181IdrisPrototype
- idris-hackers/IdrisWebÉtoiles : 109TeXPrototype
D’autres dépôts Idris
Tous les dépôts Idris- christian-public/Idris2-ErlangÉtoiles : 149IdrisPrototype
- andorp/order-takingÉtoiles : 146IdrisPrototype
- KesterTong/idris2048Étoiles : 124IdrisPrototype
- joom/hezarfenÉtoiles : 119IdrisPrototype
- edwinb/SPLV20Étoiles : 116IdrisPrototype
- gallais/idris-tparsecÉtoiles : 100IdrisPrototype