R-O-C-K-E-T / Factorio-SAT

Related projects ⓘ

Alternatives and complementary repositories for Factorio-SAT

• Redcrafter / verilog2factorio
  This project will compile verilog (a hardware description language) into factorio blueprints.
  ☆739Updated last year
• piebro / factorio-blueprint-visualizer
  A python library to artfully visualize Factorio Blueprints and an interactive web demo for using it.
  ☆145Updated 2 months ago
• raynquist / balancer
  ☆258Updated last month
• xkcd / incredible
  A massive collaborative rube goldberg machine.
  ☆218Updated 6 months ago
• DanielKote / Foreman2
  Visual planning tool for Factorio
  ☆206Updated 2 weeks ago
• ehulinsky / AnalogChess
  Chess but no grid
  ☆450Updated last year
• redruin1 / factorio-draftsman
  A complete, well-tested, and up-to-date module to manipulate Factorio blueprint strings. Compatible with mods.
  ☆112Updated 2 weeks ago
• clusterio / clusterio
  internet communication for factorio mods
  ☆329Updated this week
• SuperTails / langcraft
  Compiler from LLVM IR to Minecraft datapacks.
  ☆555Updated 2 years ago
• d4rkc0d3r / FactorioSimulation
  Multiple tools for factorio stuff, most notably the belt balancer analyzer.
  ☆88Updated 2 weeks ago
• 0xdanelia / regex_turing_machine
  The find/replace box in Notepad++ is Turing Complete
  ☆501Updated last year
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆613Updated 7 months ago
• williambl / blockblockdevice
  💾 Create block devices on your computer backed by Redstone Memory
  ☆91Updated last year
• stevana / elastically-scalable-thread-pools
  An experiment in controlling the size of a thread pool using a PID controller.
  ☆116Updated last year
• Jobarion / factoriogen
  Generate Factorio combinators from code
  ☆20Updated last year
• 0ptera / Logistic-Train-Network
  Factorio mod adding logistic network for trains.
  ☆165Updated 7 months ago
• woodrush / lambda-8cc
  x86 C compiler written in untyped lambda calculus
  ☆626Updated 2 years ago
• m-ender / hexagony
  A two-dimensional, hexagonal programming language.
  ☆565Updated 3 years ago
• demipixel / factorio-blueprint
  Import and Export blueprint strings automagically with this handy dandy blueprint API
  ☆105Updated 6 months ago
• betaveros / noulith
  *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it
  ☆1,133Updated 2 months ago
• itsfrank / MinecraftHDL
  A Verilog synthesis flow for Minecraft redstone circuits
  ☆1,138Updated 3 years ago
• woodrush / lisp-in-life
  A Lisp interpreter implemented in Conway's Game of Life
  ☆453Updated 2 years ago
• nimrag-b / emiT-C
  A time travelling programming language
  ☆230Updated this week
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆812Updated 7 months ago
• jstrieb / poker-chipper
  Optimally allocate poker chips using constrained, nonlinear optimization
  ☆173Updated last month
• shpaass / yafc-ce
  Powerful Factorio calculator/analyser that works with mods
  ☆86Updated this week
• KirkMcDonald / kirkmcdonald.github.io
  Simple web-based calculator for the game Factorio.
  ☆613Updated 3 weeks ago
• mame / radiation-hardened-quine
  A robust quine program that works even after any one character is deleted.
  ☆680Updated 3 years ago
• kspalaiologos / malbolge-lisp
  A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
  ☆489Updated last year
• afex / graftorio
  visualize metrics from your factorio game in grafana
  ☆138Updated 3 years ago