puffnfresh/crosscheck
Using QuickCheck to test functions in other languages/environments.
Public GitHub Catalog
Discovered Sep 30, 2026
puffnfresh / wartremover-example-println
WartRemover example which uses a custom wart rule
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.
#17295644GitHub System ID
puffnfreshOrganization / User
PublicVisibility
ActiveCatalog Status
More from puffnfresh
puffnfresh/bam-idris-blog
Static blog generator in Idris.
puffnfresh/heroku-buildpack-nix-proot
A Heroku buildpack using Nix.
puffnfresh/idris-commonmark
Idris wrapper for jgm's Markdown parser