A verifier for Factorio blueprints, enabling one to automatically check logical properties
☆39Jul 7, 2026Updated 2 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☆779Aug 18, 2026Updated last month
- A tiny small string optimization library.☆24Jul 14, 2026Updated 2 months ago
- A Mockery plugin for Psalm☆11Mar 20, 2025Updated last year
- Self-healing erasure-coded storage engine with transparent filesystem mounting. Reed-Solomon fault tolerance in a single binary☆25Aug 17, 2026Updated last month
- Discord dark theme for Mattermost☆11Mar 28, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An ambient sounds mixer to help you study, focus, increase concentration, calm your mind.☆10Jan 6, 2023Updated 3 years ago
- Resources for Cyber Security☆11Oct 30, 2018Updated 7 years ago
- Generate PHP code from Rust using a fluent API 🐘 🦀☆17Aug 13, 2024Updated 2 years ago
- ☆12Jul 7, 2025Updated last year
- Bittorrent Client written in Elixir☆12Jul 5, 2019Updated 7 years ago
- A bootstrapper for a versatile custom Minecraft modpack launcher☆14Jun 15, 2014Updated 12 years ago
- an elixir library for dealing with bittorrent tracker requests and responses☆13Dec 30, 2014Updated 11 years ago
- ☆13May 29, 2024Updated 2 years ago
- Projection FileSystem is a FUSE filesystem performs directory content projection☆12Apr 3, 2023Updated 3 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.
- Lua runtime implemented in Rust☆17Oct 22, 2023Updated 2 years ago
- Experimental Erlang/OTP-inspired supervision trees for Rust☆15Nov 24, 2025Updated 10 months ago
- Renders the last tool on your back for aesthetic purposes.☆13Feb 15, 2023Updated 3 years ago
- High-precision, high-performance fixed-point decimal type for Rust.☆71Jul 11, 2026Updated 2 months ago
- pass plugin for luakit☆14Oct 6, 2018Updated 7 years ago
- A template for the oneplus-enchilada (OnePlus 6) using Mobile NixOS☆12May 2, 2023Updated 3 years ago
- SCSS Library to implement Material Design Shadows☆17Mar 20, 2024Updated 2 years ago
- Rust support for seL4 userspace☆214Aug 27, 2026Updated 3 weeks ago
- Simple Parsedown extension/plugin to generate a list of ToC (Table of Contents) from headings of a Markdown file.☆15May 29, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Include C code right in your Lua code☆12Oct 12, 2017Updated 8 years ago
- Dart packages for generated Kiota client libraries☆21Updated this week
- Compatibility between VersionReq from semver and VersionSet from pubgrub☆13Jan 8, 2025Updated last year
- Easy access to (almost) all minecraft server types/loaders with direct links.☆12Updated this week
- ☆15Oct 17, 2018Updated 7 years ago
- Pythonic systemd journal file interface using ctypes☆15Mar 28, 2017Updated 9 years ago
- Advanced await-less information provider and development tool.☆24Mar 16, 2026Updated 6 months ago
- ☆15Aug 19, 2026Updated last month
- Add funny emoji to all commit☆10Jun 16, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A mod to bring a little more life and variety to the wilds of Cataclysm: Dark Days Ahead.☆11Dec 6, 2022Updated 3 years ago
- A mod for that plans to add all the elements of the periodic table into Factorio.☆17Updated this week
- A simple music-as-code library and synthesizer for rust☆16Mar 15, 2026Updated 6 months ago
- Simple, opinionated image viewer for Wayland built for speed and memory efficiency☆11Aug 2, 2026Updated last month
- ☆23Updated this week
- A basic JSON parser implemented in C++☆19Feb 20, 2020Updated 6 years ago
- Some machines & compats☆11Aug 7, 2024Updated 2 years ago