Enhancing the Factorio experience with SAT solvers
☆765Aug 25, 2024Updated last year
Alternatives and similar repositories for Factorio-SAT
Users that are interested in Factorio-SAT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This project will compile verilog (a hardware description language) into factorio blueprints.☆817Feb 3, 2025Updated last year
- A python library to artfully visualize Factorio Blueprints and an interactive web demo for using it.☆585Jan 10, 2025Updated last year
- ☆37Oct 9, 2025Updated 7 months ago
- A C-style programming language for expressing practical Factorio circuits that compiles into Factorio combinator blueprints☆73Sep 25, 2023Updated 2 years ago
- Sticky sticky PCI☆10Oct 25, 2018Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Yet Another Debug Transport☆25Dec 3, 2025Updated 5 months ago
- memory-mapped registers for x86_64 systems☆37May 18, 2021Updated 5 years ago
- Don't ask me how this works☆14Aug 6, 2020Updated 5 years ago
- 🎙 Architect TUI and text user output for multiple output destinations using events, in Rust.☆33May 4, 2026Updated 2 weeks ago
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆681Apr 15, 2026Updated last month
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17May 29, 2022Updated 3 years ago
- A FUSE filesystem that allows tools like gdb to look up debug info files via HTTP☆217Sep 19, 2025Updated 8 months ago
- ☆16Jun 13, 2021Updated 4 years ago
- Creusot helps you prove your Rust code is correct.☆1,581Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆323Dec 1, 2021Updated 4 years ago
- HDL development environment on Nix.☆26Oct 23, 2024Updated last year
- WIP collections library for Lean 4☆32May 8, 2025Updated last year
- WebAssembly-based Yosys distribution for Amaranth HDL☆29Apr 21, 2026Updated last month
- PawPad programming header☆18Mar 9, 2023Updated 3 years ago
- A generator for trolley problems.☆12Apr 26, 2015Updated 11 years ago
- Untree: Undoing tree for fun and profit☆99Jun 17, 2025Updated 11 months ago
- Datalog + Egg = Good☆66May 31, 2023Updated 2 years ago
- Wrangling Untrusted File Formats Safely☆4,745May 11, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Verified Rust for low-level systems code☆2,573Updated this week
- Algebraic enhancements for GEMM & AI accelerators☆293Feb 28, 2025Updated last year
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,504May 13, 2026Updated last week
- mold: A Modern Linker 🦠☆16,491May 8, 2026Updated 2 weeks ago
- Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search…☆25Updated this week
- higher order dependently typed logic programing☆174Aug 7, 2018Updated 7 years ago
- Minimal CPU Emulator Powered by the ARM PL080 DMA Controller☆36Apr 11, 2026Updated last month
- benchmarking e-graph extraction☆54Feb 2, 2026Updated 3 months ago
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆24May 24, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A python framework for Optimal Planning Modulo Theories☆12Jan 26, 2024Updated 2 years ago
- ☆17May 4, 2026Updated 2 weeks ago
- Tiny raytracer with stochastic sampling and thin lens model☆18Aug 8, 2021Updated 4 years ago
- A toy programming language with time travel☆313Feb 12, 2024Updated 2 years ago
- The Z3 Theorem Prover☆12,255Updated this week
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- A massively parallel, optimal functional runtime in Rust☆11,246Nov 21, 2024Updated last year