Pinned Repositories
bf-datapack
CMC
Compilation of a syntex very similar to java to Minecraft Commands. Output is in the `functions` folder, which you should copy inside a datapack with the `cmc` namespace. Compile with `python3 compile.py yourfile.cmc`
element-quest
fabric-norng
FloatingEffects
A mod which allows effects with a floating-point amplifier, only for singleplayer.
Forge-NoRNG
lean-bourgain
MCCC
MCCC-LISP
Vyxal
A golfing language that has aspects of traditional programming languages.
Command-Master's Repositories
Command-Master/MCCC
Command-Master/lean-bourgain
Command-Master/CMC
Compilation of a syntex very similar to java to Minecraft Commands. Output is in the `functions` folder, which you should copy inside a datapack with the `cmc` namespace. Compile with `python3 compile.py yourfile.cmc`
Command-Master/element-quest
Command-Master/fabric-norng
Command-Master/FloatingEffects
A mod which allows effects with a floating-point amplifier, only for singleplayer.
Command-Master/Forge-NoRNG
Command-Master/MCCC-LISP
Command-Master/Vyxal
A golfing language that has aspects of traditional programming languages.
Command-Master/bf-datapack
Command-Master/blockbench-plugins
Blockbench plugin management
Command-Master/Command-Master.github.io
Random github pages stuff
Command-Master/commanderbot
The /r/MinecraftCommands personal assistant.
Command-Master/Coral-Search
Command-Master/equational_theories
A project to map out the relations between different equational theories of Magmas.
Command-Master/explosion-drop
Command-Master/lean4
Lean 4 programming language and theorem prover
Command-Master/LeanAPAP
Formalisation of the Kelley-Meka bound on Roth numbers
Command-Master/Minecraft-String-Utilities
Do things with strings in minecraft
Command-Master/MinecraftPhi-modules
Establishes safe standards to reduce datapack conflicts
Command-Master/Onyx
A python library to create minecraft datapacks
Command-Master/sandstone
Sandstone, a Javascript library for Minecraft datapacks.
Command-Master/sandstone-math
Command-Master/threaTrace
Command-Master/tryitonline
The Try It Online family of online interpreters.