alegnani / verifactoryLinks
A verifier for Factorio blueprints, enabling one to automatically check logical properties
☆37Updated 9 months ago
Alternatives and similar repositories for verifactory
Users that are interested in verifactory are comparing it to the libraries listed below
Sorting:
- Factorio overhaul mod with a focus on logistic and automation challenges☆36Updated 2 months ago
- Enhancing the Factorio experience with SAT solvers☆754Updated last year
- A complete, well-tested, and up-to-date module to manipulate Factorio blueprint strings. Compatible with mods.☆142Updated last week
- CLI tool to build spritesheets for factorio mods☆21Updated last week
- Factorio mod adding logistic network for trains.☆169Updated last year
- A C-style programming language for expressing practical Factorio circuits that compiles into Factorio combinator blueprints☆69Updated 2 years ago
- ☆71Updated this week
- Minecraft 1.19.2 modpack focused on Modern Industrializations☆59Updated 5 months ago
- Cargo x Buttplug.io☆76Updated 9 months ago
- Powerful Factorio calculator/analyser that works with mods☆183Updated 11 months ago
- Pair your compilers up at The ABI Cafe!☆272Updated 3 months ago
- Factorio mod: Temporary Editor-lite permissions in Lab-like environments for designing and experimenting.☆15Updated 3 months ago
- ☆266Updated last week
- Search for the K12 neighborly polyhedron.☆113Updated 9 months ago
- Rust programming, in any language. Write rust like a true polyglot.☆116Updated 6 months ago
- Unused Renders, made in Blender for Factorio mods.☆114Updated last year
- Factorio mod to export maps as zoomable html☆111Updated last month
- Rivets is a Factorio mod loader written in Rust. Hook into compiled functions and change their behavior.☆25Updated last year
- A program to help design factories in the game Factorio☆24Updated 5 years ago
- Visual planning tool for Factorio☆272Updated 11 months ago
- Multiple tools for factorio stuff, most notably the belt balancer analyzer.☆93Updated 11 months ago
- an encoder that transforms video into ANSI escape sequences☆21Updated 2 years ago
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆60Updated last month
- internet communication for factorio mods☆363Updated last month
- ☆43Updated last year
- Work with Celeste files in Rust!☆14Updated 3 months ago
- This project has migrated to Codeberg: https://codeberg.org/raiguard/Krastorio2☆172Updated 6 months ago
- GregTech placeable emitters addon mod☆36Updated 2 months ago
- A stupid Rust memory allocator☆194Updated 7 months ago
- Factorio mod that provides the minimal prototypes needed to load Factorio without the base mod☆22Updated 4 years ago