Trustworthy Systems (@au-ts)
Guthub

au-ts

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    295
  • Global Org. Rank 32,621 (Top 11 %)
  • Registered almost 4 years ago
  • Most used languages
    C
         72.7 %
    SCSS     9.1 %
    Rust
         9.1 %
    Isabelle     9.1 %

Top repositories

1

cogent

Cogent Project
Isabelle
157
star
2

lionsos

A secure, fast, and adaptable OS based on the seL4 microkernel
C
84
star
3

libvmm

An experimental virtual machine monitor for the seL4 microkernel
C
27
star
4

sddf

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

microkit_tutorial

A tutorial for learning the seL4 Microkit
C
6
star
6

ipbench

A benchmark suite for repeatable and reliable testing of IP networks.
C
3
star
7

libgdb

Experimental library and infrastructure for using GDB with the seL4 microkernel
C
2
star
8

gordian-smt-profiler

A "frontend" independent query profiling tool for Z3, mostly ripped off Verus
Rust
1
star
9

camkes_to_microkit_guide

A guide for migrating systems built on seL4 using CAmkES to Microkit
1
star
10

libnfs

C
1
star
11

sel4_profiler

Profiling framework and related infrastructure for performance analysis of seL4 applications
C
1
star
12

lionsos_docs

Documentation for LionsOS
SCSS
1
star