puffnfresh/aws
Amazon Web Services for Haskell
Public GitHub Catalog
Discovered Oct 21, 2026
puffnfresh / cufp-2015-tutorial
An introductory tutorial for the Coq proof assistant.
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.
#41949102GitHub System ID
puffnfreshOrganization / User
PublicVisibility
ActiveCatalog Status
More from puffnfresh
puffnfresh/purescript-optic
Public repository.
puffnfresh/cufp-2015-tutorial-purescript
Code developed during the PureScript Tutorial at CUFP 2015
puffnfresh/purescript-webrtc
PureScript WebRTC bindings