Alternatives and similar repositories for Factorio-TAS-Generator

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

• sarahscheffler / mapofcrypto

  View on GitHub
  A map of relationships among cryptographic primitives
  ☆12Dec 17, 2018Updated 7 years ago
• blackmesalabs / ChipVault

  View on GitHub
  Verilog+VHDL Hierarchy Management tool ( IDE ) wraps around Vim, runs in Linux terminal window.
  ☆12Jan 15, 2017Updated 9 years ago
• MinervaMc / Datapacks

  View on GitHub
  Datapacks used in the minerva survival
  ☆11Aug 11, 2020Updated 5 years ago
• MateuszKubuszok / CmderPackage

  View on GitHub
  Script which performs download and initial setup of Cmder, Cygwin and several other packages
  ☆10May 20, 2015Updated 10 years ago
• TinyTapeout / tt-multiplexer

  View on GitHub
  ☆19Dec 11, 2025Updated 2 months ago
• silversquirl / bedrock-finder-118

  View on GitHub
  Bedrock pattern finder for 1.18 snapshots
  ☆15Nov 4, 2022Updated 3 years ago
• cchan / fp8_mul

  View on GitHub
  A tiny FP8 multiplication unit written in Verilog. TinyTapeout 2 submission.
  ☆14Nov 23, 2022Updated 3 years ago
• bpowers / liquid-types

  View on GitHub
  Logically Qualified Data Types - automatically infer refinement types
  ☆16Aug 24, 2021Updated 4 years ago
• leshow / twilio-async

  View on GitHub
  Async Hyper wrapper for Twilio API
  ☆17Nov 14, 2021Updated 4 years ago
• EleutherAI / training-jacobian

  View on GitHub
  ☆24Dec 11, 2024Updated last year
• pgera / efg

  View on GitHub
  GPU based Compressed Graph Traversal
  ☆16Jan 9, 2026Updated last month
• cnlohr / fix32_fft

  View on GitHub
  Minimal header-only C fixed-point FFT library for embedded and speciality situations
  ☆52Oct 29, 2025Updated 3 months ago
• DonQuixoteI / Firefox-UserGuide

  View on GitHub
  Firefox User Guide
  ☆15Jun 14, 2025Updated 8 months ago
• braibant / coq-tutorial-ml-tactics

  View on GitHub
  A tutorial on how to write OCaml tactics for the Coq proof assistant
  ☆23Nov 23, 2016Updated 9 years ago
• Staartvin / Statz

  View on GitHub
  A Minecraft plugin that tracks a lot of data from the players on a server
  ☆13Feb 3, 2021Updated 5 years ago
• MarkusRabe / cadet

  View on GitHub
  A fast and certifying solver for quantified Boolean formulas.
  ☆26Apr 29, 2025Updated 9 months ago
• TinyTapeout / tt03-submission-template

  View on GitHub
  Submission template for Tiny Tapeout 03
  ☆22Sep 20, 2023Updated 2 years ago
• danchitnis / ngspice

  View on GitHub
  Ngspice development tools for browser (WASM), Linux and Windows
  ☆27Jun 27, 2025Updated 7 months ago
• antmicro / hardware-components

  View on GitHub
  ☆40Nov 5, 2025Updated 3 months ago
• TinyTapeout / tt02-submission-template

  View on GitHub
  Submission template for TT02
  ☆25Feb 2, 2023Updated 3 years ago
• erinadreno / list_of_Xilinx_FPGAs

  View on GitHub
  ☆38Jul 6, 2025Updated 7 months ago
• nicolasprevot / GpuShareSat

  View on GitHub
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆34Jun 8, 2021Updated 4 years ago
• RTimothyEdwards / irsim

  View on GitHub
  IRSIM switch-level simulator for digital circuits
  ☆36Nov 13, 2025Updated 3 months ago
• TinyTapeout / tt06-verilog-template

  View on GitHub
  Submission template for Tiny Tapeout 6 - Verilog HDL Projects
  ☆35May 3, 2024Updated last year
• popeen / Booksonic-LegacyServer

  View on GitHub
  DISCONTINUED - Please note that this server has been replaced by https://github.com/popeen/Booksonic-Air
  ☆31Jan 28, 2023Updated 3 years ago
• mithro / kicad-pmod

  View on GitHub
  KiCad Library to make it easy to create both host boards and expansion boards and which are compatible with the Digilent "PMOD" specifica…
  ☆42Mar 29, 2021Updated 4 years ago
• biotomas / ipasir

  View on GitHub
  The Standard Interface for Incremental Satisfiability Solving
  ☆53Jun 28, 2022Updated 3 years ago
• regymm / pcie_7x

  View on GitHub
  PCIe Endpoint on Xilinx 7-Series FPGAs with the PCIE_2_1 hard block and GTP transceivers
  ☆68Apr 27, 2025Updated 9 months ago
• marcthurley / sharpSAT

  View on GitHub
  The #SAT solver sharpSAT
  ☆63Aug 28, 2022Updated 3 years ago
• dan-fritchman / Layout21

  View on GitHub
  Integrated Circuit Layout
  ☆57Feb 25, 2025Updated 11 months ago
• chipfoundry / volare

  View on GitHub
  Version manager (and builder) for the Google sky130 and gf180mcu open-source PDKs
  ☆75Nov 19, 2025Updated 2 months ago
• ShonTaware / SRAM_SKY130

  View on GitHub
  Design of 1024x32 SRAM (32Kbits) using OpenRAM and SKY130 PDKs with operating voltage of 1.8V and access time < 2.5ns
  ☆82May 2, 2021Updated 4 years ago
• ultraembedded / core_dvi_framebuffer

  View on GitHub
  Minimal DVI / HDMI Framebuffer
  ☆84Aug 9, 2020Updated 5 years ago
• shnarazk / splr

  View on GitHub
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆102Jun 27, 2025Updated 7 months ago
• erihsu / INT_FP_MAC

  View on GitHub
  INT8 & FP16 multiplier accumulator (MAC) design with UVM verification completed.
  ☆116Sep 27, 2020Updated 5 years ago
• senseiwells / EssentialClient

  View on GitHub
  EssentialClient is a client-side mod that adds many client utilities as well as providing a gui to modify carpet rules!
  ☆93Feb 1, 2026Updated 2 weeks ago
• enjoy-digital / colorlite

  View on GitHub
  Take control of your Colorlight FPGA board with LiteX/LiteEth :)
  ☆112Aug 30, 2023Updated 2 years ago
• autodl-community / autodl-rutorrent

  View on GitHub
  ruTorrent plugin for autodl-community fork of autodl-irssi
  ☆92Jan 2, 2023Updated 3 years ago
• gardenshade / mam-plus

  View on GitHub
  Tweaks & functionality for MAM
  ☆100Nov 15, 2025Updated 3 months ago