Pinned Repositories
.github
box
A dependently-typed programming language for Minecraft
mce
A programming environment for Minecraft
mch
A highly-compatible lightweight benchmark harness for Minecraft
setup-minecraft
Set up your GitHub Actions workflow with a specific version of Minecraft
spy
A highly-compatible command injector for Minecraft
test-minecraft
Test against multiple versions of Minecraft
mcenv's Repositories
mcenv/setup-minecraft
Set up your GitHub Actions workflow with a specific version of Minecraft
mcenv/mch
A highly-compatible lightweight benchmark harness for Minecraft
mcenv/mce
A programming environment for Minecraft
mcenv/box
A dependently-typed programming language for Minecraft
mcenv/spy
A highly-compatible command injector for Minecraft
mcenv/test-minecraft
Test against multiple versions of Minecraft
mcenv/.github