PrototypeCommon
idris-hackers/idris-crypto
Implementation of cryptographic primitives using Idris
- Owner
- idris-hackers (organization)
- Stars
- Stars: 121
- Forks
- Forks: 13
- Language
- Idris
- License
- BSD-3-Clause
- Created
- 2014
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by idris-hackers
All 8 repos by idris-hackers- idris-hackers/software-foundationsStars: 460IdrisAlpha
- idris-hackers/idris-modeStars: 275Emacs LispAlpha
- idris-hackers/idris-vimStars: 221Vim ScriptPrototype
- idris-hackers/idris-demosStars: 195IdrisPrototype
- idris-hackers/idris-koansStars: 181IdrisPrototype
- idris-hackers/IdrisWebStars: 109TeXPrototype
Nearby in Idris
All Idris repos- christian-public/Idris2-ErlangStars: 149IdrisPrototype
- andorp/order-takingStars: 146IdrisPrototype
- KesterTong/idris2048Stars: 124IdrisPrototype
- joom/hezarfenStars: 119IdrisPrototype
- edwinb/SPLV20Stars: 116IdrisPrototype
- gallais/idris-tparsecStars: 100IdrisPrototype