alegnani / verifactory
A verifier for Factorio blueprints, enabling one to automatically check logical properties
☆26Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for verifactory
- Factorio overhaul mod with a focus on logistic and automation challenges☆29Updated this week
- A complete, well-tested, and up-to-date module to manipulate Factorio blueprint strings. Compatible with mods.☆105Updated this week
- Factorio mod adding logistic network for trains.☆163Updated 6 months ago
- Multiple tools for factorio stuff, most notably the belt balancer analyzer.☆87Updated this week
- A mod for Factorio. Allows you to plan out your production in detail.☆91Updated this week
- ☆52Updated last week
- Factorio mod: Temporary Editor-lite permissions in Lab-like environments for designing and experimenting.☆11Updated last week
- 5D Diplomacy With Multiverse Time Travel☆217Updated 2 weeks ago
- Factorio mod that provides the minimal prototypes needed to load Factorio without the base mod☆20Updated 3 years ago
- A collection of the mods for Logic World that I created.☆20Updated last month
- Complete and featureful Typescript defintions for the Factorio modding API☆40Updated this week
- A program to help design factories in the game Factorio☆25Updated 4 years ago
- Factorio Mod Tool Kit☆117Updated this week
- Powerful Factorio calculator/analyser that works with mods☆175Updated 3 weeks ago
- The rewrite of Wasmcraft. Converts arbitrary WebAssembly into a Minecraft Java Edition datapack.☆126Updated last year
- A KSP mod that interfaces with Clusterio to facilitate a connection between KSP and Factorio☆47Updated 2 years ago
- A C-style programming language for expressing practical Factorio circuits that compiles into Factorio combinator blueprints☆58Updated last year
- Factorio Mod - Basic AI augmentation using potential fields☆57Updated last year
- A very (not) safe Rust library to check if a number is odd. Based on cve-rs.☆31Updated 7 months ago
- Powerful Factorio calculator/analyser that works with mods☆83Updated this week
- Tools to avoid unnecessary usage of safe code☆37Updated 4 years ago
- Fast serde serializer and deserializer for Minecraft's NBT and Anvil formats☆198Updated 2 months ago
- Factorio Achievement Enabler for Linux☆32Updated this week
- Cogmind helper☆16Updated this week
- Rust programming, in any language. Write rust like a true polyglot.☆68Updated 10 months ago
- Angelsmods Repository☆85Updated this week
- A set of high-quality, commonly-used utilities for creating Factorio mods.☆70Updated last week
- Factorio mod to export maps as zoomable html☆89Updated last week
- A Logic World mod that adds movement to the game☆12Updated 2 years ago
- Factorio long-distance logistics overhaul☆15Updated 2 weeks ago