A verifier for Factorio blueprints, enabling one to automatically check logical properties
☆39Nov 23, 2025Updated 5 months ago
Alternatives and similar repositories for verifactory
Users that are interested in verifactory are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Enhancing the Factorio experience with SAT solvers☆765Aug 25, 2024Updated last year
- Factorio tools to render and work with blueprint strings, (de)serialize prototype dumps and more☆27Mar 24, 2026Updated last month
- A complete, well-tested, and up-to-date module to manipulate Factorio blueprint strings. Compatible with mods.☆161Feb 26, 2026Updated 2 months ago
- Claude Code for Kimi K2☆14Sep 15, 2025Updated 7 months ago
- CraftOS, but with saner API design.☆17Mar 20, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- my work on iPod nano 6g and 7g pwning☆21May 23, 2024Updated last year
- Type checked partial references for rust☆14Jul 17, 2021Updated 4 years ago
- a 1:1 port of celeste classic to a standalone rust binary, compatible with WebAssembly☆12Dec 30, 2023Updated 2 years ago
- Sever/client clipboard over SSH for Neovim☆13Nov 13, 2016Updated 9 years ago
- A graphics extender (and much more) for Oblivion, Skyrim and Fallout New Vegas☆12Mar 21, 2025Updated last year
- A compilation-time AoB pattern scanning library☆12Aug 27, 2021Updated 4 years ago
- Luring is a callback-style interface for Lua to "io_uring" which is the asynchronous I/O framework introduced in Linux Kernel 5.1.☆10Jan 9, 2021Updated 5 years ago
- Tools for debugging Factorio☆13Dec 12, 2025Updated 4 months ago
- Resources for Cyber Security☆11Oct 30, 2018Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A collection of cryptographic primitives for CC:Tweaked.☆28Jun 1, 2024Updated last year
- Detect possible security problems with Unicode usage according to Unicode Technical Standard #39 rules.☆18Dec 27, 2025Updated 4 months ago
- GregTech placeable emitters addon mod☆38Jul 25, 2025Updated 9 months ago
- Bittorrent Client written in Elixir☆12Jul 5, 2019Updated 6 years ago
- A bootstrapper for a versatile custom Minecraft modpack launcher☆14Jun 15, 2014Updated 11 years ago
- A performance tracker for Kalshi traders☆28Dec 4, 2025Updated 4 months ago
- Misc game-related tweaks and tools that I tend to write☆10Mar 19, 2023Updated 3 years ago
- A Minecraft Better Than Wolves addon that aims to slightly strengthen monsters.☆11Jun 23, 2024Updated last year
- Fixed version X-Ray Engine v1.0007rc1 (S.T.A.L.K.E.R.: Shadow of Chernobyl)☆14May 18, 2025Updated 11 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A simple "Hello Cube" example demonstrating the use of OpenGL 3.2 core profiles.☆10Mar 29, 2023Updated 3 years ago
- ☆13May 29, 2024Updated last year
- A rust library for a Type Safe IMAP protocol☆13Jun 28, 2016Updated 9 years ago
- ☆10Jun 23, 2025Updated 10 months ago
- Really small DLL to patch Flash Player r387+'s OCX/DLL at runtime to remove the timebomb.☆22Mar 3, 2025Updated last year
- A Lua code formatter / indenter written in Python.☆15Oct 4, 2019Updated 6 years ago
- Android widget that displays output of a shell command using Termux (mirror of https://codeberg.org/gardockt/termux-terminal-widget)☆24Dec 15, 2024Updated last year
- Lua runtime implemented in Rust☆17Oct 22, 2023Updated 2 years ago
- ☆13Jun 21, 2021Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Experiment in Nix formatting☆23Oct 4, 2019Updated 6 years ago
- Linux Samsung NVMe Firmware ISO Extractor☆19Jul 21, 2025Updated 9 months ago
- encode and decode bittorrent peer wire protocol messages with elixir☆19Jan 3, 2016Updated 10 years ago
- The wiki for all of modded Minecraft☆17Feb 23, 2026Updated 2 months ago
- A minimal example that configures a Vulkan example (and all its dependencies) on Windows via vcpkg and cmake☆13Jun 15, 2024Updated last year
- A template for the oneplus-enchilada (OnePlus 6) using Mobile NixOS☆12May 2, 2023Updated 3 years ago
- a classic Tron game, for your terminal 🏍️☆18Aug 29, 2024Updated last year