alegnani / verifactoryLinks
A verifier for Factorio blueprints, enabling one to automatically check logical properties
☆37Updated 9 months ago
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☆35Updated last month
- Enhancing the Factorio experience with SAT solvers☆752Updated last year
- Minecraft 1.19.2 modpack focused on Modern Industrializations☆58Updated 4 months ago
- A complete, well-tested, and up-to-date module to manipulate Factorio blueprint strings. Compatible with mods.☆139Updated 2 weeks ago
- Powerful Factorio calculator/analyser that works with mods☆183Updated 11 months ago
- A C-style programming language for expressing practical Factorio circuits that compiles into Factorio combinator blueprints☆69Updated last year
- Multiple tools for factorio stuff, most notably the belt balancer analyzer.☆93Updated 10 months ago
- an encoder that transforms video into ANSI escape sequences☆21Updated 2 years ago
- ☆257Updated 2 weeks ago
- Rivets is a Factorio mod loader written in Rust. Hook into compiled functions and change their behavior.☆26Updated last year
- CLI tool to build spritesheets for factorio mods☆19Updated last week
- Pair your compilers up at The ABI Cafe!☆272Updated 3 months ago
- ☆70Updated 2 weeks ago
- Cargo x Buttplug.io☆75Updated 8 months ago
- CUDA program to find the tallest possible cacti in Minecraft.☆27Updated 5 years ago
- Search for the K12 neighborly polyhedron.☆112Updated 8 months ago
- Factorio mod: Temporary Editor-lite permissions in Lab-like environments for designing and experimenting.☆15Updated 3 months ago
- GregTech placeable emitters addon mod☆35Updated last month
- Rust programming, in Dutch.☆147Updated 2 years ago
- Factorio mod adding logistic network for trains.☆169Updated last year
- Trivial ETL Engine for Minecraft☆32Updated 4 months ago
- Computer-based storage and automation system for modded Minecraft☆56Updated last year
- ☆352Updated 11 months ago
- More files per file: hide files by storing them in the metadata of other files☆139Updated 8 months ago
- The rewrite of Wasmcraft. Converts arbitrary WebAssembly into a Minecraft Java Edition datapack.☆150Updated 2 years ago
- Czech for the Rust programming language☆33Updated 3 years ago
- Use your computer as a cosmic ray detector! One of the memory errors Rust does not protect against.☆111Updated last week
- A hyperbolic voxel game☆166Updated 2 months ago
- Rust programming, in any language. Write rust like a true polyglot.☆116Updated 5 months ago
- Zip quine generator with support for new type of quines: Loopy zip quine☆78Updated 10 months ago