jonsterling/martin-lof
papers of Per Martin Löf
Public GitHub Catalog
Discovered Sep 29, 2026
jonsterling / scotty-session
Adding session functionality to scotty
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.
#16711242GitHub 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/hs-aws-general
Haskell Bindings for AWS General API