clayrat/matasano-idris
Matasano crypto challenges in Idris
Public GitHub Catalog
Discovered Sep 30, 2026
clayrat / free-applicative
Free Applicative Functor
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#18949689GitHub System ID
clayratOrganization / User
PublicVisibility
ActiveCatalog Status
More from clayrat
clayrat/fpinidris
FP in Scala but in Idris
clayrat/lzo-java
Pure Java implementation of the liblzo2 LZO compression algorithm
clayrat/awesome-scala
A community driven list of useful Scala libraries, frameworks and software.