Make with Ada

with AdaCore
Build something cool using Ada and SPARK!

Total prize pool of $8,000+

Make with Ada
Make with Ada
This contest is over! See all the winning entries. Want more chances to win prizes? Check out our active contests.


“Make with Ada” is open to both “Individual Participants” and “Team Participants” (collectively, “Participants”).

Individual Participants must be at least the age needed to legally enter into this agreement under the laws of France (18), those of their country of residence, and those of the country from which they make their submission. Employees and contractors of the Organizer, Sponsors and Panelists, and the family members of, and any persons domiciled with, such employees or contractors, as well as individuals who received a prize , either as an Individual Participant or as a Team Participant, in the 2016 and 2017 editions of the “Make with Ada” contest, are not eligible.

“Teams” are composed of between two and four Team Participants, each of whom must be individually eligible. Each team must designate one of its members as the “Team Lead”, who will:

  • be the only point of contact between the Team and the Organizer and be the recipient of all communication on behalf of the Team;
  • receive any prize awarded to the Team and be responsible for sharing it among the Team Participants.

“Students” are Participants who are aged 26 or less when the competition starts, and who are registered in a higher-education curriculum leading to a PhD, Master, or Bachelor degree, or to any equivalent deemed equivalent by the Organizer. “Student Teams” are Teams comprising only Student Participants. “Student Projects” are Projects submitted either by a Student Participant or a Student Team.

Submission requirements

Each Individual Participant’s and each Team’s Submission shall contain:

  • A technical description of the content of their Project;
  • Pictures or videos explaining the architecture, the content and/or the making of the Project;
  • Links to external resources, such as a github or public svn repository, containing the sources and/or documentation of the Project. The Submission will be used for the evaluation of the Project by the Judging Panel and must meet the following conditions:
  • All submitted material must be in English.
  • Clear documentation of which parts of the Project are original and which parts are reusing content authored by third parties, such as pre-existing libraries.
  • Identification of which parts of the Project, if any, have been submitted to a previous Make with Ada Competition.
  • Code written in the Ada or SPARK languages. It can optionally use components written in other languages (such as third-party libraries), but only the original part of the Project that uses Ada or SPARK will be evaluated by the Panelists.

Initial Submissions may be made by Participants between 15:00 CEST on Tuesday September 10th 2019 and 23:59 CEST on Friday January 31st 2020. Submissions may be amended, corrected, or improved at any time during this period.

Judging criteria

Projects will be evaluated using the information available either directly from the Submission or indirectly from the resources referred to by the Submission using the following criteria:

  • Buzz effect: one of the main goals of the Competition is to give more exposure to Ada, SPARK and related technologies. Projects will be judged in part with regards to how we think the project can have an impact in that regard: Will the project give more exposure to Ada ? Does it have a “wow effect” that will appeal to the technology community in general ? Will it show the benefits of Ada and related technologies ?
  • Open source: Does the Project have a Free Software License, as defined by the Free Software Foundation or an open-source licence, as defined by the Open Source Initiative? Does it have an open design? Does it use open tools, hardware and platforms? Is the Project usable by other members of the programming community? Does it have clearly-defined interfaces and documentation? Is it available in a public repository through a version control system such as svn or git? Does the public repository chosen supply a bug tracking system? Can the Project be built with tools available to the Ada/SPARK programmer community?
  • Software quality: Does the Project make use of processes and technologies that provide high confidence that the software meets its requirements (for example formal methods, SPARK, contract-based programming, testing, and coding standards)? Is its documentation accurate?

If the project has been submitted to a previous Make with Ada Competition, only the parts of the project that were not part of a previous submission or were significantly changed from the version of the project then submitted will be taken into account by the Panelists.

How to enter

Step 1: Register for the Contest

  • Start by creating a free account on (or sign-in if already a member).
  • Register for the contest by clicking “Register as a participant”.

Step 2: Build and Document Your Project

  • Build your project according to the submission requirements.
  • Document your project build using Hackster’s project template. To create a new project, click “create new project” on the contest page or the “+” symbol in the top right corner of your Hackster page.

Step 3: Review and submit your project

  • Review your project and make sure it meets all the submission requirements.
  • Upload a previously created project by clicking “add existing project” on the contest page.
  • Submit your project by Jan 31, 2020 at 2:59 PM PT by clicking “review and submit project” on the contest page.

Full rules

Participants also grant to the Organizer and each of the Panelists the worldwide, non-exclusive right to reproduce, transfer, run, analyse and test by any means, any software or documentation that is part of their Submission for the purpose of evaluating their Project and for the duration reasonably needed for those purposes.By registering, Participants represents and warrants that:

  • they meet the eligibility conditions.
  • they agree to the collection of their Personal Data for the purpose of organizing the Competition according to AdaCore privacy policy.
  • they agree to the use of their names in relation to their Project and the Competition by the Organizer or the Sponsors on any commercial sites such as and or the Organizer’s blog.
  • their Project meets all the conditions set forth in the present Rules and they have the right to submit their Project to the Competition and grant the foregoing license;
  • they, or the team they belong to, did not receive any specific support from a for-profit legal entity (such as a corporation or a partnership) for the production of their Project, other than:
  • the support provided freely by the Sponsors of “Make With Ada”;
  • the use of tools (such as computers and a network connection) normally provided by that entity and on which personal usage is permitted by the rules of that entity or are of a de minimis nature.

Support from non-for-profit and/or educational organizations such as universities is permitted if:

  • their employer(s), if any, do not have any intellectual property rights in the Project or the Submission.
  • their Submissions do not contain any defamatory, obscene, illegal or otherwise inappropriate material.
  • their Submission is made in compliance with any applicable “Export-Control Regulations”, in particular the Export Administration Regulations (15 CFR Part 730-744) of the United States and the regulation of the Council n°428/2009 in the European Union.
  • they will indemnify and hold the Organizer and Panelists harmless against any claim or action that their Submission, or any part thereof, infringes the Intellectual Property Rights of a third party or contains defamatory, obscene, illegal or otherwise inappropriate material, or is made in violation of Export Control Regulations. In particular, Participants will indemnify AdaCore against judgments, awards, damages and costs, including court and arbitration costs and attorney fees, ultimately awarded on such claim. Participants shall notify AdaCore as soon as they are aware of any such claim, along with any information relevant to the case, and shall abstain from discussing with the claimant the merits of the case until AdaCore is aware of the claim. For the purpose of this clause, Team Participants will be considered jointly and severally.
  • they waive their right to sue the Organizer or the Panelists on any ground connected to the award of the Prizes.
  • they have read, understood, and agree fully with the present rules.

In addition to the foregoing, Team Leads represent and warrant that:

  • they will indemnify and keep the Organizer and Panelists harmless against any claim or action in relation to the distribution or delivery of the Prizes, or lack thereof, between the Participants in their Team, provided that the Organizer paid or delivered such Prizes to them.

In addition to the foregoing, Team Participants represents and warrants that:

  • They waive their right to sue the Organizer and Panelists for the absence of payment or delivery of the Prizes awarded to their team, provided that the Organizer paid or delivered such Prizes to their Team Lead.

Force Majeure

Neither party is in breach of these rules, nor liable in any way whatsoever, for any failure to perform, or any delay in performing its obligations hereunder to the extent that such failure or delay results from a situation of force majeure. In particular, the Competition may be canceled at any point with no advance notice in such a case.


The cancellation of any provision of these rules shall not cause their cancellation as a whole, unless the cancelled clause is an essential clause without which AdaCore would not have entered into the Competition, or unless such cancellation changes the general balance of these rules. If any provision of these rules that can be considered insubstantial is cancelled, the Organizer shall replace it, to all possible extent, by an equivalent clause.

Applicable law and jurisdiction

The present rules shall be governed by the laws of France with regards to their existence, validity, interpretation, performance and termination, notwithstanding any rule of conflict of law.The Participants, Panelists, Sponsors and Organizers expressly agree that any litigation relating to the existence, validity, interpretation, performance and termination of these rules that could not be amicably resolved shall be submitted to the courts of competent jurisdiction within the circuit of the Paris Court of Appeal, even in the cases of multiple defendants or indemnification claims, and for preliminary rulings or injunctions.

Changes to the competition

During the Competition, the Organizer shall have the right to amend the present rules from time to time, in particular to improve their clarity or address points that were not addressed before. The Organizer also retains the right to change the list or number of Panelists. The latest version of these rules and list of Panelists will always be available on By making their Submission, Participants agree to be bound by any such subsequent changes.