It might be a complicated set of ports that is difficult to maintain but I would like to see a first-class
Ada development and deployment environment on OpenBSD; including a complete
SPARK environment, of course.
If the
Porting Workshop goes well, I might put together a
CLIPS port. And if that goes well, it might be useful to port several elements of
EPICS.