mathematica
minecraft-pi-reborn
Our great sponsors
mathematica | minecraft-pi-reborn | |
---|---|---|
1 | 5 | |
25 | 192 | |
- | 4.2% | |
10.0 | 9.1 | |
over 1 year ago | 26 days ago | |
Lean | C++ | |
- | 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.
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.
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
What are some alternatives?
jupyter - Jupyter metapackage for installation, docs and chat
Craft - A simple Minecraft clone written in C using modern OpenGL (shaders).
mathquill - Easily type math in your webapp
mcmap - Pixel-art map visualizer for Minecraft. Maps are drawn from an isometric perspective.
microMathematics - microMathematics Plus - Extended visual calculator
android-iperf - Pre-compiled iperf/iperf3 binaries for Android + Dockerfile with SDK and NDK for manual build
WolframLanguageForJupyter - Wolfram Language kernel for Jupyter notebooks
Nukkit - Cloudburst Nukkit - Nuclear-Powered Minecraft: Bedrock Edition Server Software
best-of-jupyter - 🏆 A ranked list of awesome Jupyter Notebook, Hub and Lab projects (extensions, kernels, tools). Updated weekly.
mcpil-r - **Deprecated** Launcher for MCPI-Reborn - Use gMCPIL or jMCPIL instead.
mathlib - Lean 3's obsolete mathematical components library: please use mathlib4
bedrock-viz - Minecraft Bedrock Edition World Visualization & Reporting Tool with Web App