coreyoconnor/hs-webdriver
A Haskell client for the Selenium WebDriver protocol.
Public GitHub Catalog
Discovered Sep 26, 2026
coreyoconnor / learn-coq
various exercises I've worked through (or failed to work through) while learning the proof assistant Coq.
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.
#7333073GitHub System ID
coreyoconnorOrganization / User
PublicVisibility
ActiveCatalog Status
More from coreyoconnor
coreyoconnor/executable-dynamic-issue
Public repository.
coreyoconnor/nix-configs-bootstrap
Public repository.
coreyoconnor/jdee
Clone from https://jdee.svn.sourceforge.net/svnroot/jdee/trunk/jdee