| Contributors |
| ------------ |
| |
| People who contributed to the design, code, proof, or documentation in this |
| repository (in alphabetical order). |
| |
| * Sidney Amani, Data61 (was at NICTA) & UNSW |
| * Ryan Barry, UNSW |
| * Joel Beeren, Data61 (was at NICTA) |
| * Nelson Chen, UNSW |
| * Zilin Chen, Data61 (was at NICTA) & UNSW |
| * Louis Cheung, UNSW |
| * Peter Chubb, Data61 & UNSW |
| * Vivian Dang, UNSW |
| * Matthew Di Meglio, UNSW |
| * Sahan Fernando, UNSW |
| * Gernot Heiser, Data61 & UNSW |
| * Alex Hixon, NICTA (was at NICTA) & UNSW |
| * Vincent Jackson, UNSW |
| * Jashank Jeremy, UNSW |
| * Gabriele Keller, Universiteit Utrecht (was at Data61 & UNSW) |
| * Gerwin Klein, Data61 (was at NICTA) & UNSW |
| * Ambroise Lafont, UNSW |
| * Edward Lee, NICTA & UNSW |
| * Corey Lewis, Data61 (was at NICTA) |
| * Japheth Lim, Data61 (was at NICTA) |
| * Craig McLaughlin, UNSW |
| * Craige McWhirter |
| * Emmet Murray, UNSW |
| * Toby Murray, University of Melbourne (was at UNSW) & Data61 (was at NICTA) |
| * Yutaka Nagashima, Data61 (was at NICTA) |
| * Liam O'Connor, UNSW & Data61 (was at NICTA) |
| * Christine Rizkallah, UNSW & Data61 (was at NICTA) |
| * Amos Robinson, UNSW |
| * Nick Robson, UNSW |
| * Leonid Ryzhyk, NICTA & UNSW |
| * Carter Tazio Schonwald |
| * Sean Seefried, NICTA |
| * Thomas Sewell, Data61 (was at NICTA) & UNSW |
| * Sean Shang, UNSW |
| * Partha Susarla, Data61 |
| * Gunnar Teege, Universität der Bundeswehr München |
| * Joseph Tuong, NICTA & UNSW |
