spl/network-uri-sandbox
A sandbox for different combinations of network-uri and network dependencies
Public GitHub Catalog
Discovered Sep 24, 2026
spl / church
A simple type-checker for Girard's System Fω in Church-style (each variable must be annotated with it's type)
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.
#895736GitHub System ID
splOrganization / User
PublicVisibility
ActiveCatalog Status
More from spl
spl/http-client-request-modifiers
Convenient monadic HTTP request modifiers
spl/haskell-marketo
Implementation of parts of the Marketo REST API
spl/haskell-hubspot
Implementation of parts of the HubSpot API