alegnani / verifactoryLinks
A verifier for Factorio blueprints, enabling one to automatically check logical properties
☆39Updated 2 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☆37Updated 2 weeks ago
- Enhancing the Factorio experience with SAT solvers☆765Updated last year
- ☆286Updated 3 months ago
- A complete, well-tested, and up-to-date module to manipulate Factorio blueprint strings. Compatible with mods.☆153Updated 2 weeks ago
- CLI tool to build spritesheets for factorio mods☆24Updated this week
- Cargo x Buttplug.io☆78Updated last year
- Factorio mod adding logistic network for trains.☆170Updated last year
- Pair your compilers up at The ABI Cafe!☆282Updated 7 months ago
- Minecraft 1.19.2 modpack focused on Modern Industrializations☆61Updated 8 months ago
- ☆77Updated 3 weeks ago
- A C-style programming language for expressing practical Factorio circuits that compiles into Factorio combinator blueprints☆71Updated 2 years ago
- A futuristic filesystem that's stuck in the past.☆312Updated last month
- Computer-based storage and automation system for modded Minecraft☆58Updated last year
- Rivets is a Factorio mod loader written in Rust. Hook into compiled functions and change their behavior.☆26Updated last year
- Astrological CPU Scheduler☆155Updated 2 months ago
- A hyperbolic voxel game☆169Updated this week
- Rust programming, in Dutch.☆159Updated 3 months ago
- Factorio mod: Temporary Editor-lite permissions in Lab-like environments for designing and experimenting.☆19Updated 2 months ago
- a game where you're given a potato and your job is to implement a firmware for it☆504Updated 5 months ago
- GregTech placeable emitters addon mod☆37Updated 6 months ago
- Use your computer as a cosmic ray detector! One of the memory errors Rust does not protect against.☆109Updated last week
- Work with Celeste files in Rust!☆15Updated 6 months ago
- an encoder that transforms video into ANSI escape sequences☆21Updated 3 years ago
- Rust programming, in any language. Write rust like a true polyglot.☆125Updated 10 months ago
- This project has migrated to Codeberg: https://codeberg.org/raiguard/Krastorio2☆172Updated 10 months ago
- A mod for Factorio. Allows you to plan out your production in detail.☆124Updated 3 months ago
- Search for the K12 neighborly polyhedron.☆114Updated last year
- Visual planning tool for Factorio☆278Updated last year
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆74Updated last month
- Factorio tools to render and work with blueprint strings, (de)serialize prototype dumps and more☆27Updated this week