PROJECTS
AOSSIE - The Australian National University's Open-Source Software Innovation and Education GSoC projects
6 accepted projects across 1 cycle in 2016. Each one links to its contributor, mentors and code.
Projects listed
6
Across 1 cycle
In GSoC 2026
–
Not taking part
Busiest cycle
2016
6 projects
Mentors named
8
Across all listed projects
First cycle
2016
Latest 2016
Implementation of theorem prover based on Skeptik's data structures and Conflict Resolution algorithm
itegulovMentored by Katya, Bruno Woltzenlogel Paleo
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
Omid RezvaniMentored by Qing
Rogas is based on a conceptual view of network analytics, where two families of topological constructs have been introduced and implemented for...
Parsers implementation and extension of proof compression algorithms from propositional to first-order logic
Ezequiel PostanMentored by Katya, Bruno Woltzenlogel Paleo
Skeptik [1] is a collection of data structures and algorithms focused especially on the compression of formal proofs. Resolution proofs, in...
Dynamic Network Analysis in Rogas
Yan XiaoMentored by Minjian Liu, Qing
Developing a visualization tool that can visualize graphs dynamically, and designing dynamic analysis strategies that can provide a flexible and...
Private medical data comparison functions for similar patient matching
MathuMentored by Peter Christen, Dinusha Vatsalan
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
JPeningtonMentored by benswift, Digego
I will be using investigating the opportunities that Extempore provides in creating a more dynamic workflow for scientists programming simulation and...
Data: Google Summer of Code public archive. Official GSoC archive