CakeML Projects

We are always on the lookout for collaborators to work with us on CakeML.

These are potential projects that range in scope and difficulty suitable for internship or undergraduate dissertation projects, to masters projects, to the start of a PhD. If you are interested in working on one of these projects, or a CakeML project of your own design, contact one of the CakeML developers (listed on the main CakeML page) or write to the CakeML User's mailing list.

The listing on this page is roughly categorised into smaller and larger projects, though many can be scaled to fit.

Smaller projects

Larger projects

Past and Ongoing Projects