petosegan/fol-solver
Haskell program for resolving first order logic
Public GitHub Catalog
Discovered Oct 2, 2026
petosegan / baby-besso
A chatbot for problem solving
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.
#24917003GitHub System ID
petoseganOrganization / User
PublicVisibility
ActiveCatalog Status
More from petosegan
petosegan/plsolver
Haskell program for resolving propositional logic
petosegan/krc-solutions
My solutions to exercises in KRC
petosegan/aima-notebooks
iPython notebooks implementing concepts from AIMA