robertseaton/algorithms
Various algorithms implemented in Haskell.
Public GitHub Catalog
Discovered Sep 30, 2026
robertseaton / fregerator
An automated theorem prover.
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.
#19053247GitHub System ID
robertseatonOrganization / User
PublicVisibility
ActiveCatalog Status
More from robertseaton
robertseaton/fanfic-analysis
Public repository.
robertseaton/paq8pxd
paq8pxd file compressor/archiver
robertseaton/creativity-literature-analysis
Public repository.