A verifier for Factorio blueprints, enabling one to automatically check logical properties
☆39Jul 7, 2026Updated 2 weeks 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:
- A tiny small string optimization library.☆24Jul 14, 2026Updated last week
- Mono helps to manage your PHP Mono Repositories☆14Jan 28, 2026Updated 5 months ago
- Self-healing erasure-coded storage engine with transparent filesystem mounting. Reed-Solomon fault tolerance in a single binary☆26Jan 12, 2026Updated 6 months ago
- Type checked partial references for rust☆14Jul 17, 2021Updated 5 years ago
- Sever/client clipboard over SSH for Neovim☆13Nov 13, 2016Updated 9 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.
- ☆24Jan 13, 2026Updated 6 months ago
- A Minecraft Better Than Wolves addon that aims to slightly strengthen monsters.☆11Jun 23, 2024Updated 2 years ago
- CraftOS, but with saner API design.☆17Mar 20, 2026Updated 4 months ago
- A sustainable and modernized version of WordPress core.☆13Feb 8, 2023Updated 3 years ago
- An ambient sounds mixer to help you study, focus, increase concentration, calm your mind.☆10Jan 6, 2023Updated 3 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
- ViPeR 32-bit Pipelined RISC-V CPU☆12Jun 30, 2025Updated last year
- Tools for debugging Factorio☆13Dec 12, 2025Updated 7 months ago
- ☆12Jul 7, 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.
- Simple SDF mesh generation in Python☆22Sep 27, 2023Updated 2 years ago
- Really small DLL to patch Flash Player r387+'s OCX/DLL at runtime to remove the timebomb.☆22Mar 3, 2025Updated last year
- ☆10Jan 18, 2019Updated 7 years ago
- Meta-build-system for bootstrapping operating system distributions.☆25Jul 14, 2026Updated last week
- A collection of small libraries, both gamedev-related and general-purpose☆13Jun 7, 2025Updated last year
- A rust library for a Type Safe IMAP protocol☆13Jun 28, 2016Updated 10 years ago
- ☆10Jun 23, 2025Updated last year
- ☆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.
- GregTech placeable emitters addon mod☆42Jul 25, 2025Updated last year
- Lua runtime implemented in Rust☆17Oct 22, 2023Updated 2 years ago
- Markov chain text generator, as used for KingJamesProgramming (post-2024)☆17Sep 14, 2024Updated last year
- Experiment in Nix formatting☆23Oct 4, 2019Updated 6 years ago
- Renders the last tool on your back for aesthetic purposes.☆13Feb 15, 2023Updated 3 years ago
- encode and decode bittorrent peer wire protocol messages with elixir☆19Jan 3, 2016Updated 10 years ago
- A collection of cryptographic primitives for CC:Tweaked.☆30Jul 12, 2026Updated last week
- Nechonica fork. Forked from Malkeus's Compatible Nechronica.☆11Jun 4, 2026Updated last month
- A template for the oneplus-enchilada (OnePlus 6) using Mobile NixOS☆12May 2, 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.
- ☆10Dec 21, 2023Updated 2 years 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
- Easy access to (almost) all minecraft server types/loaders with direct links.☆13Updated this week
- ☆15Oct 17, 2018Updated 7 years ago
- Make Factorio blueprints easy to version in git, minimizing text changes.☆14Mar 10, 2026Updated 4 months ago
- Advanced await-less information provider and development tool.☆24Mar 16, 2026Updated 4 months ago
- Quite OK Audio (QOA) format encoder/decoder☆23Jul 14, 2026Updated last week