japesinator/Idris-Profunctors
A small profunctor library for idris
Public GitHub Catalog
Discovered Oct 3, 2026
japesinator / hello-world
Hello world in every programming language. Thanks to everyone who contributes to this, I merge all pull requests!
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#27057915GitHub System ID
japesinatorOrganization / User
PublicVisibility
ActiveCatalog Status
More from japesinator
japesinator/Trail-Data
A CSV of some amenities on the constitution trail
japesinator/willie-extras
Repository for extra and experimental modules not included in https://github.com/embolalia/willie
japesinator/Idris-dev
A Dependently Typed Functional Programming Language