beastaugh/formalmethods
Formal Methods Seminar handout on the compactness and Löwenheim–Skolem theorems.
Public GitHub Catalog
Discovered Sep 25, 2026
beastaugh / urldecode
Command line tool to decode percent-encoded strings.
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.
#3535734GitHub 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.