Umbrella Org for Open-Source Projects in Australia

We are a not-for-profit umbrella organization for open-source projects developed in Australia. We believe the open-source philosophy provides a resource-efficient channel to transfer knowledge and achieve innovation and education.

In 2017, we offer the following projects:

  • Agora (Scala): a library of vote counting algorithms for democratic elections.
  • Scavenger (Scala): an automated theorem prover for first-order logic.
  • Skeptik (Scala): a library of algorithms to manipulate formal proofs generated by automated reasoners such as SAT and SMT solvers.
  • Mind the Word (Javascript, HTML, CSS): a browser extension that helps users to learn new languages.
  • Carbon Footprint (Javascript, HTML, CSS): a browser extension that raises environmental awareness regarding C02 emissions.
  • Computational Philosophy (Isabelle): formalizations of philosophical theories and arguments towards computer-assisted metaphysics, as envisaged by Leibniz.

We have a diverse group of mentors, including GSoC students from previous years who decided to become long-term contributors as well as academics with extensive experience in supervising undergraduate, M.Sc. and Ph.D. students on theses and projects, whose results are often published and presented in the most prestigious conferences of our research fields.

We are looking for excellent students of any level (undergraduate, M.Sc., or Ph.D.), who are interested in becoming long-term collaborators in our projects and in joining the open-source approach to software development. We will evaluate student applications solely on the basis of programming skills, academic merit and the feasibility of the proposals.

If you are a prospective student interested in doing your Google Summer of Code (GSoC) project with us, please contact us as soon as possible. We will do our best to assist and guide you in the formulation of your GSoC project proposal.

lightbulb_outline View ideas list


  • scala
  • javascript/html/css
  • automated reasoning
  • android/ios
  • xcode


email Mailing list

AOSSIE - Australian Open Source Software Innovation and Education 2017 Projects

  • Saumo Pal
    Adding more voting algorithms to Agora
    The project deals with addition of voting algorithms to Agora, providing comprehensive tests, refactoring the code base and providing documentation....
  • Anuj Gupta
    Carbon Footprint ( Mobile App )
    This mobile app will be used to tell user about CO2 emission during user’s activity . This app will find the type of activity and distance travelled...
  • sidd607
    Carbon Footprint Mobile Application
    The browser extension does a good job of making people aware about the Carbon Footprint while searching for directions on map services. The mobile...
  • Rohit Gupta
    CarbonFootprint API
    CarbonFootprint is a great initiative to make people aware of their unnoticed contributions to the degradation of this planet. This initiative needs...
  • Saisankar
    This project aims to build a RESTful API , that is the one place to go to for any information that you require on Carbon Emissions . The aim is to...
  • Nakul Havelia
    The project aims to extend the browser extension's ability to show carbon emission to websites that sell airplane tickets, the approach is to add...
  • David Streit
    Computational Philosophy
    This project aims to formalize several ontological arguments and the "Simulation Argument" by Nick Bostrom in Isabelle/HOL using a shallow semantic...
  • Deepesh Pandey
    Enriching the Agora library with the state-of-the-art voting rules followed by application usage.
    Currently, AGORA supports the only handful of voting rules and there is no usage of the library in any kind of application. In this proposal, I want...
  • Thuvarakan
    Front end for agora
    This idea is about to develop a web front end for the agora core. I am planing to implement the system using play framework , html ,bootstrap , java...
  • Vaibhav Sharma
    Making the current browser extension more powerful using REST API.
    This proposal is regarding my ideas on the API for showing results on various carbon emission sources and also enhancing the current browser...
  • Partho Sarthi
    Mind The Word GSoC Proposal
    In this project I wish to develop a Mobile App for Mind The Word . I would be using Apache’s Cordova for developing the hybrid app as it would be...
  • Amit Kanwar
    Mobile App for Carbon Footprint
    Carbon Footprint is a browser extension to calculate and display CO2 emissions incurred when driving (or using public transportation) on routes. But...
  • vlad107
    Speeding up the existing theorem prover, using Conflict Resolution calculus
    I'm going to speed up the theorem prover based on Conflict Resolution calculus. In particular, I am going to improve the bottlenecks in the current...