R-O-C-K-E-T / Factorio-SAT
Enhancing the Factorio experience with SAT solvers
☆661Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for Factorio-SAT
- This project will compile verilog (a hardware description language) into factorio blueprints.☆737Updated last year
- ☆246Updated 3 weeks ago
- A verifier for Factorio blueprints, enabling one to automatically check logical properties☆25Updated 4 months ago
- A python library to artfully visualize Factorio Blueprints and an interactive web demo for using it.☆142Updated 2 months ago
- internet communication for factorio mods☆322Updated last week
- A feature-rich Factorio Blueprint Editor☆318Updated 6 months ago
- A complete, well-tested, and up-to-date module to manipulate Factorio blueprint strings. Compatible with mods.☆104Updated this week
- Visual planning tool for Factorio☆199Updated this week
- Powerful Factorio calculator/analyser that works with mods☆175Updated 2 weeks ago
- Powerful Factorio calculator/analyser that works with mods☆82Updated this week
- Cheat Sheet for Factorio☆261Updated this week
- Chess but no grid☆450Updated last year
- Import and Export blueprint strings automagically with this handy dandy blueprint API☆105Updated 5 months ago
- Simple web-based calculator for the game Factorio.☆603Updated last week
- Multiple tools for factorio stuff, most notably the belt balancer analyzer.☆87Updated last year
- A massive collaborative rube goldberg machine.☆218Updated 6 months ago
- The find/replace box in Notepad++ is Turing Complete☆502Updated last year
- Decode Factorio's binary `blueprint-storage.dat` file into JSON for backup, downgrading or further manipulation.☆36Updated 4 months ago
- factorioprints.com☆179Updated this week
- A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.☆489Updated last year
- A C-style programming language for expressing practical Factorio circuits that compiles into Factorio combinator blueprints☆58Updated last year
- 💾 Create block devices on your computer backed by Redstone Memory☆90Updated last year
- Sudoku solving in python packaging☆405Updated 2 weeks ago
- Customize your git commit hashes!☆1,310Updated 7 months ago
- A functional, content-addressable programming language.☆374Updated this week
- A robust quine program that works even after any one character is deleted.☆681Updated 3 years ago
- Factorio Blueprint String Renderer☆77Updated this week
- An experiment in controlling the size of a thread pool using a PID controller.☆116Updated last year
- Factorio mod adding logistic network for trains.☆163Updated 6 months ago
- Factorio overhaul mod with a focus on logistic and automation challenges☆29Updated this week