thoughtpolice/heroku-stripe-donate
Simple Ruby server for Stripe Donations, designed for Heroku.
Public GitHub Catalog
Discovered Sep 26, 2026
thoughtpolice / cryptol-mode
A Cryptol major mode for Emacs.
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.
#8133555GitHub System ID
thoughtpoliceOrganization / User
PublicVisibility
ActiveCatalog Status
More from thoughtpolice
thoughtpolice/libfault
Simple C library for basic crash reporting functionality, based on Phusion Passenger.
thoughtpolice/coq-skeleton
A simple skeleton for Coq projects
thoughtpolice/hs-noise
Usable security for the internet, Deux (in Haskell)