beastaugh/urldecode
Command line tool to decode percent-encoded strings.
Public GitHub Catalog
Discovered Sep 25, 2026
beastaugh / formalmethods
Formal Methods Seminar handout on the compactness and Löwenheim–Skolem theorems.
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.
#3226529GitHub System ID
beastaughOrganization / User
PublicVisibility
ActiveCatalog Status
More from beastaugh
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
beastaugh/hakyll
A simple static site generator library in Haskell.