☆14Sep 28, 2022Updated 3 years ago
Alternatives and similar repositories for FTB-Interactions
Users that are interested in FTB-Interactions are comparing it to the libraries listed below
Sorting:
- An addon for GregTech Community Edition with the goal of making it much more complicated and realistic through the use of GregTech 5 Unof…☆17Aug 10, 2022Updated 3 years ago
- Mekanica☆16Apr 18, 2019Updated 6 years ago
- libGDX based Role-Playing Game (rpg)☆12Apr 3, 2016Updated 9 years ago
- Examples and scripts for my youtube series "How to make a Minecraft Modpack"☆34Mar 1, 2019Updated 7 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- Fenghuaxueyue 优选记录☆12Jan 12, 2019Updated 7 years ago
- Damn good old shoot-them-up based on LibGDX☆11Dec 17, 2023Updated 2 years ago
- Cross-platform Math Game using libGDX framework.☆11Apr 1, 2015Updated 10 years ago
- CAD and code for the Playdate Cabinet☆17Apr 3, 2025Updated 11 months ago
- The Random Things Minecraft Mod☆70Oct 25, 2020Updated 5 years ago
- a mod that adds more bees to minecraft forestry☆11Apr 12, 2020Updated 5 years ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- A platform for formalizing OEIS sequences in Lean 4☆18Updated this week
- Make HTTP(S) requests from your Playdate console!☆11Aug 12, 2025Updated 6 months ago
- Top-down racer built with libgdx.☆12Feb 28, 2013Updated 13 years ago
- Render a 3D view of a Minecraft skin.☆10Feb 21, 2017Updated 9 years ago
- A Panels mini-comic☆12Dec 28, 2025Updated 2 months ago
- A helper flake for building Node.js package easily with Nix.☆10Oct 9, 2021Updated 4 years ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆14Updated this week
- ☆11Jul 4, 2022Updated 3 years ago
- ☆11Dec 16, 2021Updated 4 years ago
- Build latest fish-shell on MSYS2!☆15Aug 15, 2025Updated 6 months ago
- An addon that brings jigglebones to Godot Engine 3.0.☆10Jan 12, 2020Updated 6 years ago
- Web application interface for Mathematica☆11Mar 28, 2015Updated 10 years ago
- Rule-based file- and folder-organization tool inspired by Belvedere and similar programs such as Hazel and DropIt.☆13Mar 25, 2021Updated 4 years ago
- Discover the fate of the lost people of Physis☆12Oct 17, 2015Updated 10 years ago
- This is a high performance stub server.☆13Sep 3, 2024Updated last year
- A shareable Renovate config for Cybozu☆11Updated this week
- A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.☆11Jul 16, 2025Updated 7 months ago
- A cross-platform Civilization clone using the LibGDX library☆10Feb 13, 2013Updated 13 years ago
- Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked☆35Updated this week
- Eroge Music Quiz☆11Feb 22, 2026Updated last week
- Modern cryptography primitives implemented in Scratch, via Boiga☆13Jul 16, 2022Updated 3 years ago
- A Decky plugin for display custom game overlays☆11Aug 26, 2023Updated 2 years ago
- A falling tetromino game for the Playdate☆11Jan 14, 2024Updated 2 years ago
- The Infitech 3 Repo, codenamed Prototype☆13Oct 12, 2020Updated 5 years ago
- Basic Unicode support for Lean 4☆15Updated this week
- The aim of this project is to create the best 32 bit style Megaman X fan game possible.☆11Sep 7, 2018Updated 7 years ago