pmoura/weak-bases
An encoding of the Boolean co-clone lattice in Prolog, with tools for constructing weak bases.
Public GitHub Catalog
Discovered Sep 25, 2026
pmoura / SyntaxHighlighter
SyntaxHighlighter is a fully functional self-contained code syntax highlighter developed in JavaScript.
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.
#3744459GitHub System ID
pmouraOrganization / User
PublicVisibility
ActiveCatalog Status
More from pmoura
pmoura/public
Prolog Development Tool for Eclipse (PDT) -- http://sewiki.iai.uni-bonn.de/research/pdt/
pmoura/marelle
Test-driven system administration with a little extra logic.
pmoura/banpipe
BANpipe is logic-based pipeline programming language