Get in touch
Tell us what you want built.
The factory produces formally-verified SPARK-Ada from prose specifications and legacy Fortran. If you have software that needs modernising, or a regulated-sector deployment that needs SPARK-Ada substrate, email us. Every enquiry is read and answered by a human.
What helps us reply well
- The shape of the work — modernise existing source, generate from prose, install the factory inside your perimeter, or something else.
- Source language(s) involved and the regulatory assurance level (DO-178C, IEC 61508, Def Stan 00-055, ISO 26262, none).
- Whether the result can be open-source-releasable, or needs to stay inside a customer perimeter.
- Any deadline or upcoming milestone you're working toward.
→ tony.gair@thedarkfactory.co.uk
Tony Gair, founder. UK timezone. Typical reply within one working day.
Confidential. We don't redistribute, model-train on, or publish anything you tell us without explicit permission.