AOSSIE - The Australian National University's Open-Source Software Innovation and Education
Research-Intensive Open-Source Projects at Australia's Leading University
GSoC Participation History
Technologies
Topics
Past Projects
Implementation of theorem prover based on Skeptik's data structures and Conflict Resolution algorithm
Skeptik[1] is a tool focused on compression of proofs, but it's also possible to generate proofs using it's infrastructure. There is a new algorithm...
Local Community Detection Search Using a Conceptual View
Rogas is based on a conceptual view of network analytics, where two families of topological constructs have been introduced and implemented for...
Dynamic Network Analysis in Rogas
Developing a visualization tool that can visualize graphs dynamically, and designing dynamic analysis strategies that can provide a flexible and...
Parsers implementation and extension of proof compression algorithms from propositional to first-order logic
Skeptik [1] is a collection of data structures and algorithms focused especially on the compression of formal proofs. Resolution proofs, in...
Private medical data comparison functions for similar patient matching
Current implementation of PPSPM Software (http://dmm.anu.edu.au/PPSPM/) handles similar patient matching (SPM) based on Bloom filter based masking...
Extempore - Live coding with simulation codes
I will be using investigating the opportunities that Extempore provides in creating a more dynamic workflow for scientists programming simulation and...
Frequently Asked Questions
AOSSIE - The Australian National University's Open-Source Software Innovation and Education | GSoC Org Profile & Stats - Learn about AOSSIE - The Australian National University's Open-Source Software Innovation and Education's involvement in Google Summer of Code (GSoC), their technologies, detailed reports.
Participation
Projects
Top Programming Languages
Project Difficulty Distribution
No difficulty data available
Built with ❤️ for the Google Summer of Code (GSoC) open source community | © 2026 GSoCOrganizationsGuide