Created in 7.6.0 but should cleanly import to any newer EagleCAD release.
Currently has Right-angle Devices for only 8-pin, only 10-pin, and the full 18-pin connections. Right angle in this context means it uses Right-angle pin headers leaving the PCB in parallel with the Flipper Zero LCD screen.
Each Device includes a copy of the mechancial specification of modules provided by Flipper for the immediate board edge around the pin headers; both as notes on the Measures layer as well as a pre-made outline on a custom Flipper_GPIO_Dimension layer (layer 100). Neither of these need to be used and are provided for convenience to easily follow Flipper's guidelines.
The Schematic symbol includes the GPIO function MUX table on the Info layer.
See the eagle/ folder for reference photos.
Have you ported this to any other EDA? Make a PR!