miestrode

Intermediate
@miestrode

I create these projects in my free time. I've dabbled in Chess Programming, Programming Language Theory, Database theory, etc.

ekege. A different approach to an E-graph library

28

bigbrain. Logic circuit optimizer using equality saturation, Quine-McCluskey, and ILP

8

sourcerer. Typst package for displaying stylized source code blocks, with some extra features.

6

local-wasd. Local-wasd is a minecraft datapack to track the players WASD ouput using mathematics.

3

tango. An optimized, and maintainable Minecraft name sniper.

1
5
Apply