rkenney525/ProoferLogicEngine
A game of logical thinking.
Public GitHub Catalog
Discovered Sep 27, 2026
rkenney525 / SimpleSpace
Simple particle simulator - play with things like gravity and collisions
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.
#9020491GitHub 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