alegnani / verifactoryLinks
A verifier for Factorio blueprints, enabling one to automatically check logical properties
☆38Updated 3 weeks 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 weeks ago
- Enhancing the Factorio experience with SAT solvers☆761Updated last year
- A C-style programming language for expressing practical Factorio circuits that compiles into Factorio combinator blueprints☆70Updated 2 years ago
- A complete, well-tested, and up-to-date module to manipulate Factorio blueprint strings. Compatible with mods.☆145Updated last month
- ☆75Updated last week
- Pair your compilers up at The ABI Cafe!☆283Updated 5 months ago
- Factorio mod adding logistic network for trains.☆169Updated last year
- Powerful Factorio calculator/analyser that works with mods☆185Updated last year
- Rust programming, in any language. Write rust like a true polyglot.☆125Updated 8 months ago
- CLI tool to build spritesheets for factorio mods☆23Updated 2 weeks ago
- A mod for Factorio. Allows you to plan out your production in detail.☆124Updated last month
- Unused Renders, made in Blender for Factorio mods.☆118Updated last year
- an encoder that transforms video into ANSI escape sequences☆21Updated 3 years ago
- Factorio mod: Temporary Editor-lite permissions in Lab-like environments for designing and experimenting.☆17Updated 2 weeks ago
- Cargo x Buttplug.io☆77Updated 11 months ago
- Minecraft 1.19.2 modpack focused on Modern Industrializations☆61Updated 7 months ago
- This project has migrated to Codeberg: https://codeberg.org/raiguard/Krastorio2☆171Updated 8 months ago
- Visual planning tool for Factorio☆274Updated last year
- Rust programming, in Dutch.☆160Updated last month
- ☆421Updated last month
- Ultrafast Superzoom Map for Noita☆48Updated 2 weeks ago
- Extensible Turing Complete Architecture☆50Updated 3 weeks ago
- Work with Celeste files in Rust!☆14Updated 5 months ago
- a game where you're given a potato and your job is to implement a firmware for it☆502Updated 4 months ago
- BLÅHAJ Soft toy, shark mod, 16px☆173Updated last year
- Powerful Factorio calculator/analyser that works with mods☆152Updated last month
- internet communication for factorio mods☆367Updated last week
- Rivets is a Factorio mod loader written in Rust. Hook into compiled functions and change their behavior.☆25Updated last year
- Factorio mod to export maps as zoomable html☆116Updated 2 weeks ago
- A collection of cryptographic primitives for CC:Tweaked.☆24Updated last year