Pet3ris/talk-logic-programming
Code from my talk on logic programming
Public GitHub Catalog
Discovered Sep 24, 2026
Pet3ris / simple-spellchecker
Solution to a puzzle problem for a job application
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.
#2122785GitHub System ID
Pet3risOrganization / User
PublicVisibility
ActiveCatalog Status
More from Pet3ris
Pet3ris/ark-tweet-nlp
CMU ARK Twitter Part-of-Speech Tagger
Pet3ris/jacobian-gib-wrapper
A GiB wrapper for the jacobian computer contract bridge communication protocol.
Pet3ris/jacobian-host
A minimal computer contract bridge communication protocol and implementation.