jonsterling/martin-lof
papers of Per Martin Löf
Public GitHub Catalog
Discovered Oct 5, 2026
jonsterling / hs-aws-general
Haskell Bindings for AWS General API
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.
#29624616GitHub System ID
jonsterlingOrganization / User
PublicVisibility
ActiveCatalog Status
More from jonsterling
jonsterling/agda-abt
Abstract binding trees in Agda
jonsterling/commercialhaskell
A special interest group for companies and individuals interested in commercial usage of Haskell
jonsterling/choice-sequences
Public repository.