A verifier for Factorio blueprints, enabling one to automatically check logical properties
☆39Oct 15, 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:
- Enhancing the Factorio experience with SAT solvers☆783Aug 18, 2026Updated 2 months ago
- Multiple tools for factorio stuff, most notably the belt balancer analyzer.☆94Nov 9, 2024Updated last year
- A programming language for Factorio combinators☆11Jul 31, 2019Updated 7 years ago
- Technical infrastructure for empirical journalism. Evidence before interpretation; provenance before narrative.☆10Oct 30, 2025Updated last year
- ☆11Oct 28, 2026Updated last week
- 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.
- Build planner for The Slormancer☆13Dec 27, 2025Updated 10 months ago
- Local-first AI agent mesh in Rust. Hard budget enforcement, adaptive model routing, and end-to-end OpenTDF encryption. Built for individu…☆12Updated this week
- Bad Apple , but as a Rust type☆12Mar 13, 2026Updated 7 months ago
- Fan Control plugin for OpenFAN☆16Jan 30, 2024Updated 2 years ago
- personal website☆19Oct 5, 2026Updated 3 weeks ago
- Self-healing erasure-coded storage engine with transparent filesystem mounting. Reed-Solomon fault tolerance in a single binary☆25Aug 17, 2026Updated 2 months ago
- A collection of scripts and tools for migrating TOTP profiles from Google Authenticator to Token2 hardware tokens or other TOTP applicati…☆19Apr 3, 2026Updated 7 months ago
- ☆485Nov 6, 2025Updated 11 months ago
- Type checked partial references for rust☆16Aug 23, 2026Updated 2 months 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.
- A Geyser plugin using Postgres as the data store.☆16Aug 18, 2025Updated last year
- Tools for debugging Factorio☆13Dec 12, 2025Updated 10 months ago
- javap extracted standalone from OpenJDK for easier debugging and modification☆11Jul 31, 2014Updated 12 years ago
- CraftOS, but with saner API design.☆18Mar 20, 2026Updated 7 months ago
- Misc game-related tweaks and tools that I tend to write☆11Mar 19, 2023Updated 3 years ago
- Track your Nix closures over time☆35Sep 20, 2025Updated last year
- Deprecated in favour of lichen-installer.☆33Updated this week
- A collection of small libraries, both gamedev-related and general-purpose☆13Sep 29, 2026Updated last month
- A collection of logic circuits I've built in VCB☆10Aug 5, 2022Updated 4 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.
- Based off https://github.com/antelle/argon2-browser☆23Mar 31, 2019Updated 7 years ago
- A utility library for working with trait objects☆19Apr 20, 2026Updated 6 months ago
- High-precision, high-performance fixed-point decimal type for Rust.☆70Jul 11, 2026Updated 3 months ago
- Circom ASN.1 Parser☆21Jul 22, 2024Updated 2 years ago
- Libraries for OnlyKey Firmware☆32Updated this week
- Observe memory, cpu, and disk I/O for processes matching the provided name.☆12Dec 25, 2025Updated 10 months ago
- Displays your public GitHub project repos☆16Oct 1, 2026Updated last month
- ViPeR 32-bit Pipelined RISC-V CPU☆14Jun 30, 2025Updated last year
- ☆10May 1, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- LUA side of clusterio☆17Oct 24, 2026Updated last week
- Repository for the SBOM Harbor.☆22Sep 18, 2023Updated 3 years ago
- 📦 Hosting Maven repositories is hard, let's make it easier!☆11Feb 7, 2026Updated 8 months ago
- The goal of this project is to create an open servo controller board and firmware.☆37Updated this week
- ☆15Oct 17, 2018Updated 8 years ago
- Include C code right in your Lua code☆12Oct 12, 2017Updated 9 years ago
- This project will compile verilog (a hardware description language) into factorio blueprints.☆831Feb 3, 2025Updated last year