Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
Uses generalized resolution with a unit-preference heuristic to prove theorems in first-order logic
Final Report for CS56 (Digital Electronics) project which generates fractals from VHDL code implemented on a Nexus FPGA.
A Java-Programmed Chess AI that uses Minimax and Alpha-Beta Pruning (with fun heuristics) for adversarial search
A program to troll any unsuspecting victim
Seeing something unexpected? Take a look at the
GitHub profile guide.