Alternatives and similar repositories for Factorio-SAT

Users that are interested in Factorio-SAT are comparing it to the libraries listed below

• Redcrafter / verilog2factorio
  This project will compile verilog (a hardware description language) into factorio blueprints.
  ☆793Updated 10 months ago
• piebro / factorio-blueprint-visualizer
  A python library to artfully visualize Factorio Blueprints and an interactive web demo for using it.
  ☆577Updated 10 months ago
• ShadowTheAge / yafc
  Powerful Factorio calculator/analyser that works with mods
  ☆185Updated last year
• redruin1 / factorio-draftsman
  A complete, well-tested, and up-to-date module to manipulate Factorio blueprint strings. Compatible with mods.
  ☆144Updated last month
• DanielKote / Foreman2
  Visual planning tool for Factorio
  ☆274Updated last year
• clusterio / clusterio
  internet communication for factorio mods
  ☆367Updated last week
• ehulinsky / AnalogChess
  Chess but no grid
  ☆450Updated 2 years ago
• grandseiken / factorio-ultracube
  Factorio overhaul mod with a focus on logistic and automation challenges
  ☆36Updated last week
• Palats / mapshot
  Factorio mod to export maps as zoomable html
  ☆116Updated 2 weeks ago
• DRMacIver / shrinkray
  Shrinkray is a modern multi-format test-case reducer
  ☆282Updated 2 months ago
• osimon8 / CombinatorC
  A C-style programming language for expressing practical Factorio circuits that compiles into Factorio combinator blueprints
  ☆70Updated 2 years ago
• shpaass / yafc-ce
  Powerful Factorio calculator/analyser that works with mods
  ☆151Updated 3 weeks ago
• betaveros / noulith
  *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it
  ☆1,157Updated last week
• raynquist / balancer
  ☆421Updated last month
• teoxoy / factorio-blueprint-editor
  A feature-rich Factorio Blueprint Editor
  ☆397Updated last month
• technicalfactorio / technicalfactorio
  ☆75Updated 5 months ago
• 0xdanelia / regex_turing_machine
  The find/replace box in Notepad++ is Turing Complete
  ☆501Updated 2 years ago
• SuperTails / langcraft
  Compiler from LLVM IR to Minecraft datapacks.
  ☆563Updated 3 years ago
• m-ender / hexagony
  A two-dimensional, hexagonal programming language.
  ☆571Updated 4 years ago
• afex / graftorio
  visualize metrics from your factorio game in grafana
  ☆142Updated 4 years ago
• KirkMcDonald / kirkmcdonald.github.io
  Simple web-based calculator for the game Factorio.
  ☆699Updated 5 months ago
• asheiduk / factorio-blueprint-decoder
  Decode Factorio's binary `blueprint-storage.dat` file into JSON for backup, downgrading or further manipulation.
  ☆43Updated last year
• KirkMcDonald / factorio-tools
  Tools dealing with the game Factorio.
  ☆62Updated last year
• factoriolab / factoriolab
  Angular-based calculator for factory games like Factorio and Dyson Sphere Program
  ☆732Updated this week
• d4rkc0d3r / FactorioSimulation
  Multiple tools for factorio stuff, most notably the belt balancer analyzer.
  ☆93Updated last year
• 8051Enthusiast / regex2fat
  Turn your favourite regex into FAT32
  ☆1,010Updated 3 years ago
• tromp / ChessPositionRanking
  Software suite for ranking chess positions and accurately estimating the number of legal chess positions
  ☆171Updated 2 years ago
• xkcd / incredible
  A massive collaborative rube goldberg machine.
  ☆240Updated last year
• konne88 / functorio
  ☆283Updated last month
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆663Updated 5 months ago