🇦🇺 Made in Australia
Discover Australia's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of Australia.
TOP Ada Projects
ajxs/cxos
Operating System development experiment in Ada
anthony-arnold/AdaID
An Ada Library for UUID generation.
Tiangewang0524/ANU-comp2310
Concurrent & Distributed Systems
esthermations/cargame-ada
An experimental 3D engine in want of a game. Written in Ada!
zenharris/ada-bbs
Ada small menu system, IRC client and line editor/text editor. PostgreSQL MMO Spaceship Simulator Game.
victoredwardocallaghan/aperture
ucsoyulmaz/high-integrity-password-manager
The aim of this project is to use the SPARK Ada toolset to implement and verify the correctness and security of a small command-line Password Manager utility
lgaff/plongeur
An experiment in OS dev using Ada
harrisonturton/ada-pretty-print
🖍️ Terminal string styling for Ada
leo-brewin/adm-bssn-numerical
Simple codes to run 3+1 ADM and BSSN evolutions of Kasner initial data
leo-brewin/ada-lapack
This is a port of a subset of Lapack-3.4.1 to Ada2012.
esthermations/VulgarVelma
rogermc2/GA_Ada
Geometric Algebra using Ada
Qiancheng-Wang/COMP2310
David-Haley/Advent_of_Code_2022
adammw/adagraph-xcb
Adagraph package body using XCB/X11
themrb/Tic-tac-of-adawesomeness
Coming to a toe near you. NO TIMS ALLOWED.
themrb/Team-Reverwesome
MAX_CAPACITY_SNOOPING_TIMS=0
David-Haley/Basic_Control_Table
The aim is to generate in-route route holding data
tsujamin/srs-hhvm-notebook
repository of summer scholarship HHVM related information
qykong/routing
KuangyiXing/Routers
andrew-m-h/pacman_ada
A terminal pacman in ada using real time concurrency
David-Haley/AdventofCode_2017
Solutions to Advent of Code 2017 in Ada 2012
David-Haley/AdventofCode_2018
Solutions to Advent of Code 2018 in Ada (2012) Ada Core GPL compiler
esthermations/spark-tests
Messing around with SPARK and game engine stuff
David-Haley/WordFit
Solver for WordFit puzzles as published in the Courier Mail
David-Haley/NT_Console
esthermations/bgmc
Successor to cargame-ada, I have an actual game idea this time!!
David-Haley/Advent_of_Code_2020
esthermations/Sparklies
caidychen/AdaCalculator
David-Haley/Celestial-Calculations
A package based on a book Celestial Calculations by JL Lawerence