A verifier for Factorio blueprints, enabling one to automatically check logical properties
☆39Jul 7, 2026Updated 3 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☆782Aug 18, 2026Updated last month
- A tiny small string optimization library.☆24Jul 14, 2026Updated 3 months ago
- A complete, well-tested, and up-to-date module to manipulate Factorio blueprint strings. Compatible with mods.☆184Oct 4, 2026Updated last week
- Random Bingo Sheet for DB delays☆17Oct 3, 2024Updated 2 years ago
- Claude Code for Kimi K2☆14Sep 15, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Self-healing erasure-coded storage engine with transparent filesystem mounting. Reed-Solomon fault tolerance in a single binary☆25Aug 17, 2026Updated last month
- Type checked partial references for rust☆16Aug 23, 2026Updated last month
- 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 Minecraft Better Than Wolves addon that aims to slightly strengthen monsters.☆11Jun 23, 2024Updated 2 years ago
- Misc game-related tweaks and tools that I tend to write☆11Mar 19, 2023Updated 3 years ago
- A compilation-time AoB pattern scanning library☆12Aug 27, 2021Updated 5 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
- Resources for Cyber Security☆11Oct 30, 2018Updated 7 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.
- ViPeR 32-bit Pipelined RISC-V CPU☆13Jun 30, 2025Updated last year
- Obsidian plugin that allows to view/edit nested frontmatter properties.☆37Sep 29, 2026Updated 2 weeks ago
- Bittorrent Client written in Elixir☆12Jul 5, 2019Updated 7 years ago
- an elixir library for dealing with bittorrent tracker requests and responses☆13Dec 30, 2014Updated 11 years ago
- Really small DLL to patch Flash Player r387+'s OCX/DLL at runtime to remove the timebomb.☆22Mar 3, 2025Updated last year
- A collection of small libraries, both gamedev-related and general-purpose☆13Sep 29, 2026Updated 2 weeks ago
- A rust library for a Type Safe IMAP protocol☆13Jun 28, 2016Updated 10 years ago
- A simple "Hello Cube" example demonstrating the use of OpenGL 3.2 core profiles.☆10Mar 29, 2023Updated 3 years ago
- Projection FileSystem is a FUSE filesystem performs directory content projection☆12Apr 3, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Lua runtime implemented in Rust☆17Oct 22, 2023Updated 2 years ago
- https://www.mixmods.com.br/2019/12/Real-Traffic-Fix.html☆14Mar 11, 2024Updated 2 years ago
- Markov chain text generator, as used for KingJamesProgramming (post-2024)☆17Sep 14, 2024Updated 2 years ago
- Experiment in Nix formatting☆23Oct 4, 2019Updated 7 years ago
- Experimental Erlang/OTP-inspired supervision trees for Rust☆15Nov 24, 2025Updated 10 months ago
- Unofficially Implements https://arxiv.org/abs/2112.05682 to get Linear Memory Cost on Attention for PyTorch☆12Jan 16, 2022Updated 4 years ago
- ☆14Jun 21, 2021Updated 5 years ago
- A Lua code formatter / indenter written in Python.☆15Jul 20, 2026Updated 2 months ago
- Renders the last tool on your back for aesthetic purposes.☆13Feb 15, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A decompilation of Lego Star Wars III: The Clone Wars on Wii brought to you by a bunch of clever folks.☆18Dec 7, 2025Updated 10 months ago
- pass plugin for luakit☆14Oct 6, 2018Updated 8 years ago
- A minimal example that configures a Vulkan example (and all its dependencies) on Windows via vcpkg and cmake☆13Jun 15, 2024Updated 2 years ago
- A template for the oneplus-enchilada (OnePlus 6) using Mobile NixOS☆12May 2, 2023Updated 3 years ago
- Aurora electron companion application.☆10Updated this week
- ☆10Dec 21, 2023Updated 2 years ago
- Rust support for seL4 userspace☆214Oct 1, 2026Updated last week