Generalized El-Gamal cipher implemented in Idris
geg - Generalized El-Gamal
This library provides an implementation of the 2008 paper of Doliskani, Malekian, and Zakerolhosseini. To my knowledge, it is the only library for El-Gamal with the permutation group.
It's currently a WIP. Feel free to submit patches, but I may not fix all reported issues immediately.
Install the permutations library first, then
idris --install elgamal.ipkg