cacfd3a/net-prove
Academic theorem prover based on proof nets, focused on LG, written in Haskell.
Public GitHub Catalog
Discovered Oct 1, 2026
cacfd3a / tour-guide-website
Website for the city tour project
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.
#20596225GitHub System ID
cacfd3aOrganization / User
PublicVisibility
ActiveCatalog Status
More from cacfd3a
cacfd3a/Indonesia-Census-2010
🇮🇩 Structured data for the 2010 Indonesia census
cacfd3a/route_finder
University project
cacfd3a/rijksmuseum-xml-parser
Public repository.