rkenney525/ProoferLogicEngine
A game of logical thinking.
Public GitHub Catalog
Discovered Oct 14, 2026
rkenney525 / Just2
Solution tool for the Steam/mobile game Two Digits.
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.
#37567688GitHub System ID
rkenney525Organization / User
PublicVisibility
ActiveCatalog Status
More from rkenney525
rkenney525/Proofer
Proofer is a logic engine designed to help the user prove an argument to be valid. The "help" is simply disallowing the user to use rules incorrectly. The interface is the command line, but if I ever get ProoferGame working how I like it then the interface will be much more enjoyable (hence the appended 'game').
rkenney525/SyllogismTester
Test the validity of Syllogisms
rkenney525/SimpleSpace
Simple particle simulator - play with things like gravity and collisions