LiveIssues
1Year in GSoC
6Total projects
6Projects that year
6Projects in 2016
Issues from AOSSIE - The Australian National University's Open-Source Software Innovation and Education, matched to you
Sign in with GitHub and LiveIssues checks what you already write against this organization's repositories, then brings you open issues nobody has claimed. Free and read-only.
Find my matchTechnologies
Recent projects
- 2016Implementation of theorem prover based on Skeptik's data structures and Conflict Resolution algorithmGSoC page
- 2016Local Community Detection Search Using a Conceptual ViewGSoC page
- 2016Dynamic Network Analysis in RogasGSoC page
- 2016Parsers implementation and extension of proof compression algorithms from propositional to first-order logicGSoC page
- 2016Private medical data comparison functions for similar patient matchingGSoC page
- 2016Extempore - Live coding with simulation codesGSoC page