Alternatives and similar repositories for verifactory

Users that are interested in verifactory are comparing it to the libraries listed below

• grandseiken / factorio-ultracube
  Factorio overhaul mod with a focus on logistic and automation challenges
  ☆38Updated 3 weeks ago
• R-O-C-K-E-T / Factorio-SAT
  Enhancing the Factorio experience with SAT solvers
  ☆763Updated last year
• redruin1 / factorio-draftsman
  A complete, well-tested, and up-to-date module to manipulate Factorio blueprint strings. Compatible with mods.
  ☆154Updated this week
• fgardt / factorio-spritter
  CLI tool to build spritesheets for factorio mods
  ☆24Updated last week
• factorio-rivets / rivets-rs
  Rivets is a Factorio mod loader written in Rust. Hook into compiled functions and change their behavior.
  ☆26Updated last year
• osimon8 / CombinatorC
  A C-style programming language for expressing practical Factorio circuits that compiles into Factorio combinator blueprints
  ☆71Updated 2 years ago
• DocJade / fluster_rs
  A futuristic filesystem that's stuck in the past.
  ☆327Updated last month
• charyan / unirust
  Rust programming, in any language. Write rust like a true polyglot.
  ☆125Updated 10 months ago
• Gankra / abi-cafe
  Pair your compilers up at The ABI Cafe!
  ☆286Updated 7 months ago
• Shadlock0133 / cargo-vibe
  Cargo x Buttplug.io
  ☆79Updated last year
• DanielKote / Foreman2
  Visual planning tool for Factorio
  ☆279Updated last year
• raiguard / Krastorio2
  This project has migrated to Codeberg: https://codeberg.org/raiguard/Krastorio2
  ☆172Updated 10 months ago
• 0ptera / Logistic-Train-Network
  Factorio mod adding logistic network for trains.
  ☆170Updated last year
• kore-signet / anime-over-ansi
  an encoder that transforms video into ANSI escape sequences
  ☆21Updated 3 years ago
• mamoniot / project-cybersyn
  ☆78Updated this week
• TheStaticVoid / StaTech-Industry
  Minecraft 1.19.2 modpack focused on Modern Industrializations
  ☆63Updated 9 months ago
• malcolmriley / unused-renders
  Unused Renders, made in Blender for Factorio mods.
  ☆121Updated last year
• ClaudeMetz / FactoryPlanner
  A mod for Factorio. Allows you to plan out your production in detail.
  ☆124Updated 3 months ago
• HackerPoet / NeighborlyPolyhedra
  Search for the K12 neighborly polyhedron.
  ☆114Updated last year
• ShadowTheAge / yafc
  Powerful Factorio calculator/analyser that works with mods
  ☆189Updated last year
• Patryk27 / kartoffels
  a game where you're given a potato and your job is to implement a firmware for it
  ☆503Updated 6 months ago
• lilyinstarlight / bottom-nix
  An implementation of the Bottom encoding format in Nix
  ☆27Updated 2 months ago
• maddymakesgames / celeste_rs
  Work with Celeste files in Rust!
  ☆15Updated 7 months ago
• d4rkc0d3r / FactorioSimulation
  Multiple tools for factorio stuff, most notably the belt balancer analyzer.
  ☆93Updated last year
• wube / factorio-data
  Tracks changes of the lua prototype definitions in factorio inbetween releases.
  ☆607Updated 3 weeks ago
• cameronleger / blueprint-sandboxes
  Factorio mod: Temporary Editor-lite permissions in Lab-like environments for designing and experimenting.
  ☆19Updated 2 months ago
• AgathaSorceress / colorpickle
  A colorscheme generator
  ☆21Updated 2 years ago
• ETC-A / etca-spec
  Extensible Turing Complete Architecture
  ☆51Updated 2 months ago
• I-Al-Istannen / crow
  crow of judgement, weighing student compiler submissions
  ☆16Updated 7 months ago
• clusterio / clusterio
  internet communication for factorio mods
  ☆373Updated last week