A verifier for Factorio blueprints, enabling one to automatically check logical properties
☆39Nov 23, 2025Updated 3 months ago
Alternatives and similar repositories for verifactory
Users that are interested in verifactory are comparing it to the libraries listed below
Sorting:
- Factorio tools to render and work with blueprint strings, (de)serialize prototype dumps and more☆27Jan 25, 2026Updated last month
- Multiple tools for factorio stuff, most notably the belt balancer analyzer.☆93Nov 9, 2024Updated last year
- Minecraft VarInt and VarLong implemetation in Rust, providing minimum memory usage and maximum performance.☆12Apr 22, 2020Updated 5 years ago
- ☆13Jun 25, 2024Updated last year
- Type checked partial references for rust☆14Jul 17, 2021Updated 4 years ago
- Sever/client clipboard over SSH for Neovim☆13Nov 13, 2016Updated 9 years ago
- ☆444Nov 6, 2025Updated 4 months 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
- A collection of cryptographic primitives for CC:Tweaked.☆27Jun 1, 2024Updated last year
- GregTech placeable emitters addon mod☆37Jul 25, 2025Updated 7 months ago
- Detect possible security problems with Unicode usage according to Unicode Technical Standard #39 rules.☆17Dec 27, 2025Updated 2 months ago
- Bittorrent Client written in Elixir☆12Jul 5, 2019Updated 6 years ago
- A performance tracker for Kalshi traders☆25Dec 4, 2025Updated 3 months ago
- A bootstrapper for a versatile custom Minecraft modpack launcher☆14Jun 15, 2014Updated 11 years ago
- Misc game-related tweaks and tools that I tend to write☆10Mar 19, 2023Updated 3 years ago
- A Minecraft Better Than Wolves addon that aims to slightly strengthen monsters.☆11Jun 23, 2024Updated last year
- ☆10Jan 18, 2019Updated 7 years ago
- Really small DLL to patch Flash Player r387+'s OCX/DLL at runtime to remove the timebomb.☆22Mar 3, 2025Updated last year
- ☆10Jun 23, 2025Updated 8 months ago
- Projection FileSystem is a FUSE filesystem performs directory content projection☆12Apr 3, 2023Updated 2 years ago
- A cross-platform Factorio benchmarking tool☆22Mar 9, 2026Updated last week
- Android widget that displays output of a shell command using Termux (mirror of https://codeberg.org/gardockt/termux-terminal-widget)☆23Dec 15, 2024Updated last year
- LUA side of clusterio☆17Mar 15, 2025Updated last year
- the Anime Woman's Tagged File Data Base.☆44Feb 5, 2026Updated last month
- Circom ASN.1 Parser☆20Jul 22, 2024Updated last year
- Experiment in Nix formatting☆23Oct 4, 2019Updated 6 years ago
- Compatibility between VersionReq from semver and VersionSet from pubgrub☆12Jan 8, 2025Updated last year
- Linux Samsung NVMe Firmware ISO Extractor☆19Jul 21, 2025Updated 8 months ago
- encode and decode bittorrent peer wire protocol messages with elixir☆19Jan 3, 2016Updated 10 years ago
- pass plugin for luakit☆14Oct 6, 2018Updated 7 years ago
- A fast, lightweight terminal-based spreadsheet application built in Rust with full formula support, cell references, and keyboard-driven …☆34Feb 21, 2026Updated last month
- A mod for that plans to add all the elements of the periodic table into Factorio.☆16Updated this week
- A template for the oneplus-enchilada (OnePlus 6) using Mobile NixOS☆12May 2, 2023Updated 2 years ago
- Rust support for seL4 userspace☆192Updated this week
- Extracts (tangles) code fragments from Markdown documents.☆17May 20, 2024Updated last year
- Include C code right in your Lua code☆11Oct 12, 2017Updated 8 years ago
- ☆10Dec 21, 2023Updated 2 years ago
- Quite OK Audio (QOA) format encoder/decoder☆22Feb 21, 2026Updated last month
- A daemon that makes a desktop OS accessible to AI agents☆39May 29, 2025Updated 9 months ago