functorio
20commits
1contributors
4languages
Tech stack & purpose
Functorio is a library for building Factorio factories using the Lean programming language. It provides type-safe abstractions for designing factories by representing resources as typed values with throughput information, ensuring that factory designs are logically correct before export. The project is built in Lean and generates Factorio blueprints that can be imported directly into the game, offering conveniences like functions, recursion, and version control while validating that resource flows are properly balanced. The library includes built-in factories for crafting recipes needed across Factorio's science packs and supports modular composition of factories through buses, assembly lines, and various connection primitives.
Community & reference links
Languages
Lean
97.2%
Python
2.5%
Shell
0.2%
Dockerfile
0.1%
Contributors
- Konstantin Weitz20 commits