beastaugh/urldecode
Command line tool to decode percent-encoded strings.
Public GitHub Catalog
Discovered Sep 24, 2026
beastaugh / hatt
Truth-table generator for classical propositional logic
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.
#1301238GitHub System ID
beastaughOrganization / User
PublicVisibility
ActiveCatalog Status
More from beastaugh
beastaugh/formalmethods
Formal Methods Seminar handout on the compactness and Löwenheim–Skolem theorems.
beastaugh/verification
Verify preconditions for Rails actions (Factored out of Rails 3.)
beastaugh/hdbc-mysql
Git clone of Chris Waterson's HDBC-mysql with some updates for GHC 7