miestrode
I create these projects in my free time. Interests include Chess Programming and Type Theory.
@yeggs Israel
Pinned Repositories
arrayvec
A vector with a fixed capacity. (Rust)
blog
Source for my personal blog
burn
Burn is a new comprehensive dynamic Deep Learning Framework built using Rust with extreme flexibility, compute efficiency and portability as its primary goals.
dwasd
The distance-based WASD detector for Minecraft that works with no entities
executioner
Hangman player using information theory, including a mode of player vs. computer
kitty-config
My personal Kitty configuration
lazyvim-config
My personal LazyVim configuration
local-wasd
Local-wasd is a minecraft datapack to track the players WASD ouput using mathematics.
mangrove
Experimental Chess engine
tango
An optimized, and maintainable Minecraft name sniper.
miestrode's Repositories
miestrode/local-wasd
Local-wasd is a minecraft datapack to track the players WASD ouput using mathematics.
miestrode/tango
An optimized, and maintainable Minecraft name sniper.
miestrode/arrayvec
A vector with a fixed capacity. (Rust)
miestrode/blog
Source for my personal blog
miestrode/burn
Burn is a new comprehensive dynamic Deep Learning Framework built using Rust with extreme flexibility, compute efficiency and portability as its primary goals.
miestrode/dwasd
The distance-based WASD detector for Minecraft that works with no entities
miestrode/executioner
Hangman player using information theory, including a mode of player vs. computer
miestrode/kitty-config
My personal Kitty configuration
miestrode/lazyvim-config
My personal LazyVim configuration
miestrode/learnyouahaskell.github.io
A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!
miestrode/mangrove
Experimental Chess engine
miestrode/nvim-config
My personal Neovim configuration
miestrode/packages
Packages for Typst.
miestrode/simple-snake
A little Snake clone I made while experimenting with Bevy.
miestrode/sourcerer
Typst package for displaying stylized source code blocks, with some extra features.
miestrode/stripper
Convert PDDL files with basic requirements to pure STRIPS ones
miestrode/turing
PDDLsim agent evaluation system
miestrode/uncertainator
Inject probability into PDDL domains and problems