alegnani / verifactoryLinks
A verifier for Factorio blueprints, enabling one to automatically check logical properties
☆39Updated last month
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 last week
- Enhancing the Factorio experience with SAT solvers☆765Updated last year
- A complete, well-tested, and up-to-date module to manipulate Factorio blueprint strings. Compatible with mods.☆149Updated 2 months ago
- CLI tool to build spritesheets for factorio mods☆24Updated this week
- A C-style programming language for expressing practical Factorio circuits that compiles into Factorio combinator blueprints☆70Updated 2 years ago
- Minecraft 1.19.2 modpack focused on Modern Industrializations☆61Updated 8 months ago
- Cargo x Buttplug.io☆77Updated last year
- Factorio mod: Temporary Editor-lite permissions in Lab-like environments for designing and experimenting.☆18Updated last month
- Multiple tools for factorio stuff, most notably the belt balancer analyzer.☆93Updated last year
- ☆75Updated this week
- Rust programming, in any language. Write rust like a true polyglot.☆125Updated 9 months ago
- Zip quine generator with support for new type of quines: Loopy zip quine☆82Updated 3 months ago
- Factorio mod adding logistic network for trains.☆169Updated last year
- BLÅHAJ Soft toy, shark mod, 16px☆173Updated last year
- Visual planning tool for Factorio☆273Updated last year
- A mod for Factorio. Allows you to plan out your production in detail.☆124Updated 2 months ago
- A futuristic filesystem that's stuck in the past.☆247Updated last week
- A colorscheme generator☆21Updated 2 years ago
- Rust programming, in Dutch.☆160Updated 2 months ago
- Like /dev/urandom, but objectively better☆117Updated 3 months ago
- Powerful Factorio calculator/analyser that works with mods☆187Updated last year
- magically import magic number constants☆18Updated last year
- ☆114Updated last year
- GregTech placeable emitters addon mod☆36Updated 5 months ago
- Dive into the uncharted waters of Maraxsis, a world where the sea covers everything. Utilize submarines to explore, craft advanced fluids…☆29Updated this week
- Factorio tools to render and work with blueprint strings, (de)serialize prototype dumps and more☆26Updated last month
- Rivets is a Factorio mod loader written in Rust. Hook into compiled functions and change their behavior.☆25Updated last year
- This project has migrated to Codeberg: https://codeberg.org/raiguard/Krastorio2☆171Updated 9 months ago
- Computer-based storage and automation system for modded Minecraft☆57Updated last year
- CUDA program to find the tallest possible cacti in Minecraft.☆28Updated 5 years ago