thoughtpolice/coq-skeleton
A simple skeleton for Coq projects
Public GitHub Catalog
Discovered Sep 26, 2026
thoughtpolice / splice
A Haskell library that implements most efficient socket to socket data transfer loops for proxy servers on every operating system using and exposing related OS-specific system calls.
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.
#5642729GitHub System ID
thoughtpoliceOrganization / User
PublicVisibility
ActiveCatalog Status
More from thoughtpolice
thoughtpolice/hs-noise
Usable security for the internet, Deux (in Haskell)
thoughtpolice/ghc-prim-compat
Compatibility shim for GHC primops
thoughtpolice/nixpkgs
Nix Packages collection