gitextract_pckfgd1u/

├── .devcontainer/
│   ├── Dockerfile
│   └── devcontainer.json
├── .gitignore
├── .vscode/
│   └── settings.json
├── Fulgora150.lean
├── Functorio/
│   ├── Abbreviations.lean
│   ├── Adapter.lean
│   ├── AdapterTest.lean
│   ├── Ascii.lean
│   ├── AssemblyLine.lean
│   ├── AssemblyLineTest.lean
│   ├── AssemblyStation.lean
│   ├── AssemblyStationTest.lean
│   ├── Blueprint.lean
│   ├── Bus.lean
│   ├── BusTest.lean
│   ├── Cap.lean
│   ├── Column.lean
│   ├── Config.lean
│   ├── Crop.lean
│   ├── Direction.lean
│   ├── Entity.lean
│   ├── Expand.lean
│   ├── ExpandTest.lean
│   ├── Factory.lean
│   ├── Fraction.lean
│   ├── Readme.lean
│   ├── Recipe.lean
│   ├── Row.lean
│   ├── Test.lean
│   └── Util.lean
├── Functorio.lean
├── Gleba300.lean
├── LICENSE
├── Nauvis150.lean
├── README.md
├── RedScience150.lean
├── Rocket.lean
├── Spaceship.lean
├── fulgora-150.sh
├── generate-recipe.py
├── gleba-300.sh
├── lake-manifest.json
├── lakefile.toml
├── lean-toolchain
├── nauvis-150.sh
├── red-science-150.sh
├── rocket.sh
└── spaceship.sh