silky/rng
Pure-functional random value generation
Public GitHub Catalog
Discovered Sep 30, 2026
silky / idris-quickcheck
A port of QuickCheck to Idris
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.
#19373330GitHub System ID
silkyOrganization / User
PublicVisibility
ActiveCatalog Status
More from silky
silky/tmux-resurrect
Persists tmux environment across system restarts.
silky/video-in-sentences-out
Code for 'Video In Sentences Out', UAI2012
silky/light-paint
Public repository.