alegnani / verifactoryLinks
A verifier for Factorio blueprints, enabling one to automatically check logical properties
☆38Updated this week
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 last week
- Enhancing the Factorio experience with SAT solvers☆759Updated last year
- 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☆60Updated 6 months ago
- A complete, well-tested, and up-to-date module to manipulate Factorio blueprint strings. Compatible with mods.☆143Updated last month
- Cargo x Buttplug.io☆77Updated 10 months ago
- Factorio mod adding logistic network for trains.☆169Updated last year
- an encoder that transforms video into ANSI escape sequences☆21Updated 3 years ago
- Pair your compilers up at The ABI Cafe!☆283Updated 5 months ago
- CLI tool to build spritesheets for factorio mods☆23Updated 2 weeks ago
- Work with Celeste files in Rust!☆14Updated 4 months ago
- automancy! is a magic-themed, hexagon-based 'automation game' where there is no 'Conveyor Belts'.☆47Updated this week
- a game where you're given a potato and your job is to implement a firmware for it☆502Updated 3 months ago
- Rivets is a Factorio mod loader written in Rust. Hook into compiled functions and change their behavior.☆25Updated last year
- An implementation of the Bottom encoding format in Nix☆27Updated last year
- Like /dev/urandom, but objectively better☆117Updated 2 months ago
- BLÅHAJ Soft toy, shark mod, 16px☆173Updated last year
- Multiple tools for factorio stuff, most notably the belt balancer analyzer.☆93Updated last year
- ☆75Updated 3 weeks ago
- Rust programming, in Dutch.☆162Updated 3 weeks ago
- Rust programming, in any language. Write rust like a true polyglot.☆126Updated 7 months ago
- This project has migrated to Codeberg: https://codeberg.org/raiguard/Krastorio2☆171Updated 7 months ago
- Visual planning tool for Factorio☆274Updated last year
- Search for the K12 neighborly polyhedron.☆114Updated 10 months ago
- Declaratively manage keys in hardware tokens, from NixOS.☆49Updated 3 weeks ago
- ☆13Updated last year
- Computer-based storage and automation system for modded Minecraft☆57Updated last year
- Cuter Nix logo (SVG)☆28Updated 3 years ago
- Zip quine generator with support for new type of quines: Loopy zip quine☆80Updated last month
- Powerful Factorio calculator/analyser that works with mods☆184Updated last year