These are the awesome projects that are part of AOSSIE in 2017.


library of vote counting algorithms for democratic elections.
(Scala, Play)

Carbon Footprint

browser extensions and mobile apps to raise environmental awareness.
(Javascript, HTML, CSS, Angular, Android)

Computational Philosophy

formalizations of philosophical theories and arguments towards computer-assisted metaphysics, as envisaged by Leibniz.
(Isabelle, TPTP THF)

Mind the Word

browser extensions and apps to learn new languages.
(Javascript, HTML, CSS, Angular)


automated theorem prover for predicate logic based on a first-order generalization of conflict-driven clause learning.
(Scala, Akka)


a library of algorithms to manipulate formal proofs generated by automated reasoners such as SAT and SMT solvers.
(Scala, C++)


These are the project ideas that we offer for GSoC 2017.

How to Apply

Follow the steps below to become a GSoC student in one of our projects.

  • Read

    Before You Start

    Read all the official GSoC documentation carefully. Read the FAQ. Familiarize yourself with the programme's timeline and do not miss deadlines.

  • Explore

    Choose a Project

    Visit the gitlab repositories of our projects and find a project that you like. To show your skills, contribute solutions to GSoC Puzzles listed in the issue tracker of the project you chose. Some projects may also contain a "" file with additional project specific GSoC instructions.

  • Write

    Expand an Idea

    You should choose one of the ideas suggested here and your proposal should expand that idea, giving details of how you plan to implement that idea. Use the provided proposal template.

  • Talk

    Use our Forum

    At any moment, if you have questions, just ask us. Introduce yourself in our forum. Write a draft of your proposal early, to allow us sufficient time to give you feedback. And remember: code more, communicate efficiently!

  • Apply!

Contact Us

Please use the googlegroup forum embedded below to ask questions and communicate with us.