AOSSIE - The Australian National University's Open-Source Software Innovation and Education

Research-Intensive Open-Source Projects at Australia's Leading University

Technologies

python
postgresql
llvm
scala
lisp

Topics

privacy
health
logic
live programming
data analysis
https://cecs.anu.edu.au/current-students/student-opportunities/google-summer-code-anu
Chat
Email
Mailing List / Forum

Projects

Contributor

itegulov

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

View project detailsView code

Contributor

Omid Rezvani

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

View project detailsView code

Contributor

Yan Xiao

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

View project detailsView code

Contributor

Ezequiel Postan

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

View project detailsView code

Contributor

Mathu

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

View project detailsView code

Contributor

JPenington

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

View project detailsView code