minecraft-pi-reborn
mathematica
minecraft-pi-reborn | mathematica | |
---|---|---|
5 | 1 | |
192 | 25 | |
3.6% | - | |
9.1 | 10.0 | |
about 1 month ago | over 1 year ago | |
C++ | Lean | |
MIT License | - |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
minecraft-pi-reborn
-
Mathics: A free, open-source alternative to Mathematica
And the free version has a neat open source fork that adds features: https://github.com/MCPI-Revival/minecraft-pi-reborn
-
The true best edition
If you want to replay the old PE versions or the Raspberry Pi version, check out this project: https://github.com/MCPI-Revival/minecraft-pi-reborn
- Minecraft Pi on Pi 4?
-
I sourced two cases from Etsy based on similar Thingiverse designs to build a Gaming RaspberryPi 4
Why not Minecraft Pi Reborn or something: https://github.com/MCPI-Revival/minecraft-pi-reborn
mathematica
-
Mathics: A free, open-source alternative to Mathematica
The existence of https://github.com/robertylewis/mathematica makes me think it's more likely to go in the other direction, where you treat powerful tools as untrusted oracles which produce certificates that Lean then verifies.
What are some alternatives?
Craft - A simple Minecraft clone written in C using modern OpenGL (shaders).
jupyter - Jupyter metapackage for installation, docs and chat
mcmap - Pixel-art map visualizer for Minecraft. Maps are drawn from an isometric perspective.
mathquill - Easily type math in your webapp
android-iperf - Pre-compiled iperf/iperf3 binaries for Android + Dockerfile with SDK and NDK for manual build
microMathematics - microMathematics Plus - Extended visual calculator
Nukkit - Cloudburst Nukkit - Nuclear-Powered Minecraft: Bedrock Edition Server Software
WolframLanguageForJupyter - Wolfram Language kernel for Jupyter notebooks
mcpil-r - **Deprecated** Launcher for MCPI-Reborn - Use gMCPIL or jMCPIL instead.
best-of-jupyter - 🏆 A ranked list of awesome Jupyter Notebook, Hub and Lab projects (extensions, kernels, tools). Updated weekly.
bedrock-viz - Minecraft Bedrock Edition World Visualization & Reporting Tool with Web App
mathlib - Lean 3's obsolete mathematical components library: please use mathlib4