I create these projects in my free time. Interests include Chess Programming and Type Theory.
- Israel
-
04:04
(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
-
-
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
-
bigbrain
bigbrain PublicLogic circuit optimizer using equality saturation, Quine-McCluskey, and ILP
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.