GitHub repository: statebox/idris-multibase
Primary language: Idris
Description: Self-identifying base encodings in Idris