jcsizemo/CodilityJava
Public repository.
Public GitHub Catalog
Discovered Sep 29, 2026
jcsizemo / TheoremProver
Third project for AI: Converts CNF (conjunctive normal form) clauses to SNF (skolem normal form). Takes a negated query and, given a knowledge base, will attempt to prove the query true.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#15850964GitHub System ID
jcsizemoOrganization / User
PublicVisibility
ActiveCatalog Status
More from jcsizemo
jcsizemo/PryMaster
Little Android demo I wrote a while back
jcsizemo/Tripper
My attempt at reproducing the genetic algorithm for the ultimate road trip.
jcsizemo/FibScroller
Infinite Fibonacci scroller in Android