alegnani / verifactory
A verifier for Factorio blueprints, enabling one to automatically check logical properties
☆30Updated last month
Alternatives and similar repositories for verifactory:
Users that are interested in verifactory are comparing it to the libraries listed below
- Factorio overhaul mod with a focus on logistic and automation challenges☆31Updated this week
- A complete, well-tested, and up-to-date module to manipulate Factorio blueprint strings. Compatible with mods.☆121Updated this week
- Factorio mod: Temporary Editor-lite permissions in Lab-like environments for designing and experimenting.☆12Updated last week
- A mod for Factorio. Allows you to plan out your production in detail.☆104Updated 2 months ago
- Pair your compilers up at The ABI Cafe!☆237Updated 6 months ago
- A hyperbolic voxel game☆162Updated this week
- Factorio mod that provides the minimal prototypes needed to load Factorio without the base mod☆21Updated 4 years ago
- Writeup of a remote code execution in Factorio by supplying a modified save file.☆85Updated last year
- Factorio mod adding logistic network for trains.☆166Updated 9 months ago
- ☆59Updated last week
- A feature-rich Factorio Blueprint Editor☆354Updated last month
- Rust programming, in any language. Write rust like a true polyglot.☆75Updated last year
- a game where you're given a potato and your job is to implement a firmware for it☆280Updated this week
- An implementation of the Bottom encoding format in Nix☆24Updated 10 months ago
- Factorio Mod Tool Kit☆128Updated last month
- Visual planning tool for Factorio☆230Updated 2 months ago
- Multiple tools for factorio stuff, most notably the belt balancer analyzer.☆91Updated 2 months ago
- Use your computer as a cosmic ray detector! One of the memory errors Rust does not protect against.☆112Updated this week
- an encoder that transforms video into ANSI escape sequences☆22Updated 2 years ago
- Extensible Turing Complete Architecture☆42Updated 5 months ago
- Factorio long-distance logistics overhaul☆15Updated last month
- 5D Diplomacy With Multiverse Time Travel☆218Updated last month
- A C-style programming language for expressing practical Factorio circuits that compiles into Factorio combinator blueprints☆66Updated last year
- Dotfiles, a monorepo, who is to know!!☆39Updated this week
- ☆11Updated 11 months ago
- Tools to avoid unnecessary usage of safe code☆38Updated 4 years ago
- ☆42Updated 6 months ago
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆95Updated last year
- Dana: A crafting tree/graph explorer Mod for Factorio☆10Updated 2 years ago
- Powerful Factorio calculator/analyser that works with mods☆181Updated 3 months ago