R-O-C-K-E-T / Factorio-SATLinks
Enhancing the Factorio experience with SAT solvers
☆748Updated 11 months ago
Alternatives and similar repositories for Factorio-SAT
Users that are interested in Factorio-SAT are comparing it to the libraries listed below
Sorting:
- This project will compile verilog (a hardware description language) into factorio blueprints.☆783Updated 6 months ago
- A python library to artfully visualize Factorio Blueprints and an interactive web demo for using it.☆576Updated 6 months ago
- A complete, well-tested, and up-to-date module to manipulate Factorio blueprint strings. Compatible with mods.☆134Updated this week
- Powerful Factorio calculator/analyser that works with mods☆182Updated 9 months ago
- Visual planning tool for Factorio☆251Updated 9 months ago
- A verifier for Factorio blueprints, enabling one to automatically check logical properties☆36Updated 7 months ago
- Chess but no grid☆450Updated last year
- Powerful Factorio calculator/analyser that works with mods☆126Updated last week
- internet communication for factorio mods☆357Updated this week
- Factorio overhaul mod with a focus on logistic and automation challenges☆35Updated last week
- A C-style programming language for expressing practical Factorio circuits that compiles into Factorio combinator blueprints☆69Updated last year
- A feature-rich Factorio Blueprint Editor☆385Updated 7 months ago
- ☆73Updated last month
- The find/replace box in Notepad++ is Turing Complete☆499Updated 2 years ago
- Shrinkray is a modern multi-format test-case reducer☆273Updated 4 months ago
- Decode Factorio's binary `blueprint-storage.dat` file into JSON for backup, downgrading or further manipulation.☆42Updated last year
- Factorio mod to export maps as zoomable html☆107Updated 8 months ago
- ☆338Updated 9 months ago
- 💾 Create block devices on your computer backed by Redstone Memory☆99Updated 2 years ago
- *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it☆1,153Updated this week
- A massive collaborative rube goldberg machine.☆237Updated last year
- Compiler from LLVM IR to Minecraft datapacks.☆559Updated 3 years ago
- A two-dimensional, hexagonal programming language.☆569Updated 4 years ago
- A robust quine program that works even after any one character is deleted.☆693Updated 3 years ago
- Turn your favourite regex into FAT32☆1,012Updated 3 years ago
- Simple web-based calculator for the game Factorio.☆684Updated last month
- Cheat Sheet for Factorio☆301Updated 2 weeks ago
- A Verilog synthesis flow for Minecraft redstone circuits☆1,222Updated 4 years ago
- Tracks changes of the lua prototype definitions in factorio inbetween releases.☆567Updated this week
- ☆66Updated last week