The Byron project is a community-driven Ada compiler, toolchain, and system all in one; its aims are:
- To provide a freely available and freely usable implementation of the Ada 2012 programming language.
- To provide a similarly free set of tools for the above.
- To provide a common core for the community to build tools upon, and
- To provide these services in a general form so that they might be extended as needed.
Currently the only available componenets are a set of generic subprograms: a "transformation" which applies alterations to its input, "translation" which takes one type and returns another, and a "pass" which applies specified transformations to the input and output of a translation.
Current Standing of the compiler:
[✗] Semantic Analysis
[✗] Code Generation
✗ — Unstarted.
✍ — In-progress.
✓ — Done; but not formally verified.
✨ — Done & Formally Verified.
If you're interested in helping, you can fill out this form to get in contact with us and let us know where you'd be interested in helping out.