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 282 47

  2. cogent cogent Public

    Cogent Project

    Isabelle 184 28

  3. libvmm libvmm Public

    A virtual machine monitor for the seL4 microkernel

    C 82 25

  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 73 35

  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 75 repositories
  • lionsos Public

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

    au-ts/lionsos's past year of commit activity
    C 282 BSD-2-Clause 47 68 (7 issues need help) 19 Updated Oct 26, 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 86 0 4 Updated Oct 26, 2026
  • microkit_sdf_gen Public

    Experimenting with higher-level tooling for the seL4 Microkit

    au-ts/microkit_sdf_gen's past year of commit activity
    Zig 5 8 10 10 Updated Oct 26, 2026
  • microkit_acacia Public

    Making Microkit easy. A shady place for LionsOS

    au-ts/microkit_acacia's past year of commit activity
    Python 1 0 18 3 Updated Oct 26, 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 73 35 98 25 Updated Oct 26, 2026
  • systems-ci Public

    Contains the common CI configuration data

    au-ts/systems-ci's past year of commit activity
    Python 0 0 2 1 Updated Oct 25, 2026
  • isabelle-symbols-bitbucket-github Public

    A userscript to render Isabelle symbols in unicode in Bitbucket and Github repos (for use with tampermonkey / greasemonkey).

    au-ts/isabelle-symbols-bitbucket-github's past year of commit activity
    JavaScript 0 2 1 0 Updated Oct 25, 2026
  • lionsos.org Public

    Documentation for LionsOS

    au-ts/lionsos.org's past year of commit activity
    Shell 1 2 8 3 Updated Oct 21, 2026
  • libvmm Public

    A virtual machine monitor for the seL4 microkernel

    au-ts/libvmm's past year of commit activity
    C 82 25 40 6 Updated Oct 20, 2026
  • sel4test Public Forked from seL4/sel4test

    Test suite for seL4.

    au-ts/sel4test's past year of commit activity
    C 1 76 0 0 Updated Oct 19, 2026
View all repositories

Most used topics

Loading…