This is really just a place where I stick stuff that doesn't really fit into other projects. Mostly random musings, these tend to be things that are inspired by homework, etc.
K
tools
public
1 stars
0 forks
0 issues
Commits
List of commits on branch master.Unverified
1b15e5093d581b5fda43eba3519152d6b9609225Add EquivalenceRelationLattice.v
KKevOrr committed 4 years ago
Unverified
f88275d40e4d7427e7331b94e975fb6fd2c81b9cMove all minecraft scripts to github.com/kevorr/minecraft-scripts
KKevOrr committed 5 years ago
Verified
dea2dcd7e18f4c2e3aa62c2a135f9807c8a8c9b5Update block names
KKevOrr committed 5 years ago
Verified
62967fb76369f306fb90a76b31d032d664d976eaCreate defrag.lua
KKevOrr committed 5 years ago
Verified
4afd766375b3c0ec3dd1235ff3d42f3d27691465Update strip.lua
KKevOrr committed 5 years ago
Verified
ebd07ae2103c214e24970fcac18c2b0f83d05814Update strip.lua
KKevOrr committed 5 years ago