AOSSIE

Australian Umbrella Org for Open-Source Projects

Technologies

scala
android/ios
html
css
javascript
automated reasoning
xcode
isabelle proof assistant
browser extension
android
ios
python
swift
kotlin
machine learning
Blockchain

Topics

environment
electronic voting
natural language processing
logic
philosophy
machine learning
social science
https://aossie.gitlab.io/
Chat
Mailing List / Forum
Twitter

Projects

Contributor

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...

View project detailsView code

Contributor

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....

View project detailsView code

Contributor

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...

View project detailsView code

Contributor

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...

View project detailsView code

Contributor

Nakul Havelia

CO2 EMISSIONS FOR FLIGHTS

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...

View project detailsView code

Contributor

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...

View project detailsView code

Contributor

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...

View project detailsView code

Contributor

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...

View project detailsView code

Contributor

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...

View project detailsView code

Contributor

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...

View project detailsView code

Contributor

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...

View project detailsView code

Contributor

Saisankar

CO2 EMISSIONS API

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...

View project detailsView code

Contributor

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...

View project detailsView code