Skip to content
@au-ts

Trustworthy Systems

The Trustworthy Systems research group in Australia

Popular repositories Loading

  1. lionsos lionsos Public

    A secure, fast, and adaptable OS based on the seL4 microkernel

    C 286 49

  2. cogent cogent Public

    Cogent Project

    Isabelle 185 28

  3. libvmm libvmm Public

    A virtual machine monitor for the seL4 microkernel

    C 85 27

  4. sddf sddf Public

    A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.

    C 74 36

  5. microkit_tutorial microkit_tutorial Public

    A tutorial for learning the seL4 Microkit

    C 13 11

  6. ipbench ipbench Public

    A benchmark suite for repeatable and reliable testing of IP networks.

    C 5 6

Repositories

Showing 10 of 77 repositories
  • libvmm Public

    A virtual machine monitor for the seL4 microkernel

    au-ts/libvmm's past year of commit activity
    C 85 27 42 8 Updated Nov 11, 2026
  • sddf Public

    A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.

    au-ts/sddf's past year of commit activity
    C 74 36 101 23 Updated Nov 11, 2026
  • microkit_acacia Public

    Making Microkit easy. A shady place for LionsOS

    au-ts/microkit_acacia's past year of commit activity
    Python 2 1 18 0 Updated Nov 11, 2026
  • graph-refine Public Forked from seL4/graph-refine
    au-ts/graph-refine's past year of commit activity
    Python 0 12 0 0 Updated Nov 11, 2026
  • lionsos Public

    A secure, fast, and adaptable OS based on the seL4 microkernel

    au-ts/lionsos's past year of commit activity
    C 286 BSD-2-Clause 49 69 (7 issues need help) 20 Updated Nov 11, 2026
  • microkit Public Forked from seL4/microkit

    Experimental Microkit - for work that may never get merged upstream

    au-ts/microkit's past year of commit activity
    Rust 3 87 0 4 Updated Nov 10, 2026
  • ipbench Public

    A benchmark suite for repeatable and reliable testing of IP networks.

    au-ts/ipbench's past year of commit activity
    C 5 GPL-2.0 6 10 0 Updated Nov 10, 2026
  • autobench Public

    A tool for running many different benchmarks on a single buildroot image for Linux.

    au-ts/autobench's past year of commit activity
    C 0 0 1 0 Updated Nov 10, 2026
  • HOL Public Forked from seL4/HOL

    This is a fork of the HOL4 sources, used by the seL4 test infrastructure. See the original above, or visit the main website:

    au-ts/HOL's past year of commit activity
    Standard ML 0 182 0 0 Updated Nov 10, 2026
  • seL4 Public Forked from seL4/seL4

    The seL4 microkernel

    au-ts/seL4's past year of commit activity
    C 1 847 0 1 Updated Nov 10, 2026
View all repositories

Most used topics

Loading…