silky/io
A library for effects in Coq.
Public GitHub Catalog
Discovered Nov 3, 2026
silky / utf8proc
a clean C library for processing UTF-8 Unicode data
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.
#52233521GitHub System ID
silkyOrganization / User
PublicVisibility
ActiveCatalog Status
More from silky
silky/bindings-gdal
Haskell bindings to the GDAL library
silky/babelowl
Public repository.
silky/lambdazonka
A skeleton project for GHCJS with all the Amazonka libraries ready for AWS Lambda