I create these projects in my free time. Interests include Chess Programming and Type Theory.
- Israel
-
23:57
(UTC +03:00)
Block or Report
Block or report miestrode
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
-
-
bigbrain
bigbrain PublicLogic circuit optimizer using equality saturation, Quine-McCluskey, and ILP
Rust
-
dwasd
dwasd PublicThe distance-based WASD detector for Minecraft that works with no entities
mcfunction
-
executioner
executioner PublicHangman player using information theory, including a mode of player vs. computer
Rust
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.