silky/ltext
λtext - higher-order file applicator
Public GitHub Catalog
Discovered Oct 1, 2026
silky / idris-scientific
Exploring the potential use of dependent types in scientific programming.
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.
#22275506GitHub System ID
silkyOrganization / User
PublicVisibility
ActiveCatalog Status
More from silky
silky/Haskell-Crunch-Library
Fast serialization and deserialization specialized to handles
silky/acme-all-monad
A monad which is powerful enough to interpret any action
silky/c4
C in four functions