alegnani / verifactory
A verifier for Factorio blueprints, enabling one to automatically check logical properties
☆26Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for verifactory
- A mod for Factorio. Allows you to plan out your production in detail.☆93Updated this week
- Factorio overhaul mod with a focus on logistic and automation challenges☆30Updated this week
- Converts pictures into blueprints for solar farms.☆43Updated last year
- A C-style programming language for expressing practical Factorio circuits that compiles into Factorio combinator blueprints☆60Updated last year
- Enhancing the Factorio experience with SAT solvers☆668Updated 2 months ago
- Factorio mod: Temporary Editor-lite permissions in Lab-like environments for designing and experimenting.☆11Updated last week
- Factorio Achievement Enabler for Linux☆36Updated this week
- Unused Renders, made in Blender for Factorio mods.☆63Updated 4 months ago
- Factorio mod to export maps as zoomable html☆91Updated this week
- A complete, well-tested, and up-to-date module to manipulate Factorio blueprint strings. Compatible with mods.☆111Updated 2 weeks ago
- Factorio Mod - Basic AI augmentation using potential fields☆58Updated last year
- ☆70Updated 3 years ago
- Powerful Factorio calculator/analyser that works with mods☆176Updated last month
- ☆54Updated this week
- Extends the Factorio map editor with new features, testing tools, and other utilities to aid with sandbox play and scenario creation.☆28Updated 3 weeks ago
- Factorio mod adding logistic network for trains.☆164Updated 6 months ago
- Multiple tools for factorio stuff, most notably the belt balancer analyzer.☆87Updated last week
- An overhaul mod for Factorio focusing on end-game technologies and moderately increased complexity.☆148Updated 2 weeks ago
- Industrial Revolution 3 is an overhaul mod for Factorio.☆51Updated last month
- autotorio.com☆69Updated 3 months ago
- A set of high-quality, commonly-used utilities for creating Factorio mods.☆71Updated 3 weeks ago
- ☆258Updated last month
- Generate Factorio combinators from code☆20Updated last year
- Powerful Factorio calculator/analyser that works with mods☆85Updated this week
- an encoder that transforms video into ANSI escape sequences☆20Updated 2 years ago
- Factorio Mod Tool Kit☆119Updated last week
- Packet Based networks for Factorio, with IPv6 support☆49Updated last week
- Factorio Blueprint String Renderer☆80Updated this week
- A digital logic simulator built on simple rules.☆12Updated 2 years ago
- A GUI for managing your Logistic Train Network. A mod for Factorio.☆49Updated last month