Enhancing the Factorio experience with SAT solvers
☆783Aug 18, 2026Updated 2 months ago
Alternatives and similar repositories for Factorio-SAT
Users that are interested in Factorio-SAT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This project will compile verilog (a hardware description language) into factorio blueprints.☆831Feb 3, 2025Updated last year
- A python library to artfully visualize Factorio Blueprints and an interactive web demo for using it.☆587Jan 10, 2025Updated last year
- ☆485Nov 6, 2025Updated 11 months ago
- Multiple tools for factorio stuff, most notably the belt balancer analyzer.☆94Nov 9, 2024Updated last year
- ☆38Oct 9, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Visual planning tool for Factorio☆343Aug 3, 2026Updated 2 months ago
- A feature-rich Factorio Blueprint Editor (unmaintained)☆428Aug 16, 2026Updated 2 months ago
- PHP based CLI for mods.factorio.com☆14Sep 16, 2026Updated last month
- A C-style programming language for expressing practical Factorio circuits that compiles into Factorio combinator blueprints☆72Sep 24, 2026Updated last month
- ☆77Jul 6, 2025Updated last year
- Sticky sticky PCI☆10Oct 25, 2018Updated 8 years ago
- Factorio Blueprint String Renderer☆88Nov 13, 2025Updated 11 months ago
- internet communication for factorio mods☆383Updated this week
- Import and Export blueprint strings automagically with this handy dandy blueprint API☆112Oct 10, 2026Updated 3 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Factorio mod to makes all resources infinite☆13Oct 22, 2024Updated 2 years ago
- Factorio mod adding logistic network for trains.☆169Apr 24, 2024Updated 2 years ago
- Tracks changes of the lua prototype definitions in factorio inbetween releases.☆663Updated this week
- A mod for Factorio. Allows you to plan out your production in detail.☆137Updated this week
- A programming language for Factorio combinators☆11Jul 31, 2019Updated 7 years ago
- memory-mapped registers for x86_64 systems☆37May 18, 2021Updated 5 years ago
- Simulate 10 hours of gameplay in < 1 minute on the command line.☆20Jan 12, 2026Updated 9 months ago
- Minify CSS files through refactoring☆259Mar 18, 2024Updated 2 years ago
- Open source hardware down to the chip level!☆30Sep 24, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆28May 26, 2021Updated 5 years ago
- A FUSE filesystem that allows tools like gdb to look up debug info files via HTTP☆221Sep 19, 2025Updated last year
- Creusot helps you prove your Rust code is correct.☆1,948Updated this week
- Generators for blueprints like outposts in factorio, used by autotorio.com☆53Oct 11, 2026Updated 2 weeks ago
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆705Aug 20, 2026Updated 2 months ago
- Powerful Factorio calculator/analyser that works with mods☆202Oct 21, 2024Updated 2 years ago
- ☆16Jun 13, 2021Updated 5 years ago
- 🎙 Architect TUI and text user output for multiple output destinations using events, in Rust.☆33Jun 20, 2026Updated 4 months ago
- Factorio Mod Tool Kit☆162Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Powerful Factorio calculator/analyser that works with mods☆203Updated this week
- The ultimate Factorio mod for advanced blueprint planning.☆17Jun 28, 2026Updated 4 months ago
- autotorio.com☆70Oct 11, 2026Updated 2 weeks ago
- Make Factorio blueprints easy to version in git, minimizing text changes.☆16Mar 10, 2026Updated 7 months ago
- ☆25May 19, 2021Updated 5 years ago
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆24May 24, 2020Updated 6 years ago
- Work-in-progress factorio bot☆38Dec 24, 2019Updated 6 years ago