A verifier for Factorio blueprints, enabling one to automatically check logical properties
☆39Jul 7, 2026Updated last month
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 month
- Self-healing erasure-coded storage engine with transparent filesystem mounting. Reed-Solomon fault tolerance in a single binary☆25Jan 12, 2026Updated 7 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
- ☆24Jan 13, 2026Updated 7 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A graphics extender (and much more) for Oblivion, Skyrim and Fallout New Vegas☆12Mar 21, 2025Updated last year
- 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
- A collection of logic circuits I've built in VCB☆10Aug 5, 2022Updated 4 years ago
- Tools for debugging Factorio☆13Dec 12, 2025Updated 8 months 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
- A collection of small libraries, both gamedev-related and general-purpose☆13Jun 7, 2025Updated last year
- A simple "Hello Cube" example demonstrating the use of OpenGL 3.2 core profiles.☆10Mar 29, 2023Updated 3 years ago
- 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.
- ☆10Jun 23, 2025Updated last year
- Projection FileSystem is a FUSE filesystem performs directory content projection☆12Apr 3, 2023Updated 3 years ago
- 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
- https://www.mixmods.com.br/2019/12/Real-Traffic-Fix.html☆14Mar 11, 2024Updated 2 years ago
- Official Ornithe mod template.☆13Jul 27, 2026Updated 2 weeks ago
- encode and decode bittorrent peer wire protocol messages with elixir☆19Jan 3, 2016Updated 10 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
- 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.
- A utility library for working with trait objects☆17Apr 20, 2026Updated 3 months ago
- Nechonica fork. Forked from Malkeus's Compatible Nechronica.☆10Jun 4, 2026Updated 2 months ago
- A template for the oneplus-enchilada (OnePlus 6) using Mobile NixOS☆12May 2, 2023Updated 3 years ago
- A Grand Theft Auto San Andreas Mod that make pickups glow (mainly adds them beautiful coronas), just like in Vice City and Liberty City S…☆18May 2, 2023Updated 3 years ago
- Compatibility between VersionReq from semver and VersionSet from pubgrub☆12Jan 8, 2025Updated last year
- ☆15Oct 17, 2018Updated 7 years ago
- Fiew Image Viewer is a lightweight, single executable, non-installed sequential image viewer designed to be used with big collections of …☆22Mar 15, 2025Updated last year
- Pythonic systemd journal file interface using ctypes☆15Mar 28, 2017Updated 9 years ago
- Automated C declaration extraction for FFI interfaces☆21Apr 7, 2026Updated 4 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.
- Apply replaygain tags to matroska files without remuxing (gain is calculated using ffmpeg and tags are applied using mkvpropedit).☆13Jan 23, 2025Updated last year
- Port of AMD's TressFX hair rendering and simulation technology to OpenGL☆15Sep 22, 2023Updated 2 years ago
- ☆15Aug 3, 2026Updated last week
- Quite OK Audio (QOA) format encoder/decoder☆23Jul 14, 2026Updated last month
- Extracts (tangles) code fragments from Markdown documents.☆17Apr 10, 2026Updated 4 months ago
- JS/WASM build of libjxl (JPEG-XL)☆15Mar 7, 2022Updated 4 years ago
- A simple music-as-code library and synthesizer for rust☆16Mar 15, 2026Updated 4 months ago