cacfd3a/net-prove
Academic theorem prover based on proof nets, focused on LG, written in Haskell.
Public GitHub Catalog
Discovered Sep 24, 2026
cacfd3a / lombok
Very spicy additions to the Java programming language.
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.
#2301652GitHub System ID
cacfd3aOrganization / User
PublicVisibility
ActiveCatalog Status
More from cacfd3a
cacfd3a/Indonesia-Census-2010
🇮🇩 Structured data for the 2010 Indonesia census
cacfd3a/tour-guide-website
Website for the city tour project
cacfd3a/route_finder
University project