saolsen/first-order
First order predicate logic solver (needed for a game I'm writing)
Racket game called buggers, might have nothing to do with buggers but that's ok.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
First order predicate logic solver (needed for a game I'm writing)
dem dotfiles ukno
Public repository.
My first attempt at a game in racket, it's real slow and laggy but kinda works. I didn't write the noise file, it is taken from https://github.com/jpverkamp/noise