8000 au-ts repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

@au-ts Trustworthy Systems

Change the repository type filter

All

    Repositories list

    31 repositories

    • 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
      •
      Other
      •24•34•36•17•Updated Jul 5, 2025Jul 5, 2025

    • microkit_sdf_gen

      Public
      Experimenting with higher-level tooling for the seL4 Microkit
      Zig
      •4•1•8•5•Updated Jul 4, 2025Jul 4, 2025

    • microkit

      Public
      Experimental Microkit - for work that may never get merged upstream
      Rust
      •
      Other
      •59•0•0•0•Updated Jul 4, 2025Jul 4, 2025

    • cheshire

      Public
      A minimal Linux-capable 64-bit RISC-V SoC built around CVA6
      Verilog
      •
      Other
      •69•0•0•0•Updated Jul 4, 2025Jul 4, 2025

    • cva6

      Public
      This is the fork of CVA6 intended for PULP development.
      Assembly
      •
      Other
      •801•0•0•0•Updated Jul 2, 2025Jul 2, 2025

    • lionsos

      Public
      A secure, fast, and adaptable OS based on the seL4 microkernel
      C
      •
      BSD 2-Clause "Simplified" License
      •28•137•21•7•Updated Jul 2, 2025Jul 2, 2025

    • libvmm

      Public
      A virtual machine monitor for the seL4 microkernel
      C
      •
      Other
      •16•41•20•6•Updated Jul 2, 2025Jul 2, 2025

    • microkit_tutorial

      Public
      A tutorial for learning the seL4 Microkit
      C
      •8•9•3•1•Updated Jun 26, 2025Jun 26, 2025

    • arinc-scheduling

      Public
      ARINC scheduler in Microkit for the the INSPECTA project
      C
      •
      BSD 2-Clause "Simplified" License
      •0•2•0•0•Updated Jun 26, 2025Jun 26, 2025

    • libgdb

      Public
      Experimental library and infrastructure for using GDB with the seL4 microkernel
      C
      •
      BSD 2-Clause "Simplified" License
      •1•2•4•1•Updated Jun 25, 2025Jun 25, 2025

    • seL4

      Public
      The seL4 microkernel
      C
      •
      Other
      •704•0•0•0•Updated Jun 24, 2025Jun 24, 2025

    • libmicrokitco

      Public
      C
      •0•1•2•0•Updated Jun 18, 2025Jun 18, 2025

    • rust-sel4

      Public
      Rust support for seL4 userspace
      Rust
      •28•0•0•0•Updated May 21, 2025May 21, 2025

    • lionsos_docs

      Public
      Documentation for LionsOS
      SCSS
      •2•1•3•1•Updated Apr 9, 2025Apr 9, 2025

    • cogent

      Public
      Cogent Project
      verificationprogramming-languagesfile-systemsisabelle-holco-generation
      Isabelle
      •
      Other
      •26•165•93•9•Updated Mar 18, 2025Mar 18, 2025

    • musllibc

      Public
      C
      •
      Other
      •0•1•0•0•Updated Mar 7, 2025Mar 7, 2025

    • libnfs

      Public
      Forked from https://github.com/sahlberg/libnfs
      C
      •
      Other
      •2•1•0•0•Updated Feb 26, 2025Feb 26, 2025

    • ipbench2.buildroot

      Public
      Buildroot package for ipbench2
      Makefile
      •0•0•0•0•Updated Feb 16, 2025Feb 16, 2025

    • ipbench

      Public
      A benchmark suite for repeatable and reliable testing of IP networks.
      C
      •
      GNU General Public License v2.0
      •4•4•14•0•Updated Feb 2, 2025Feb 2, 2025

    • sel4_profiler

      Public
      Profiling framework and related infrastructure for performance analysis of seL4 applications
      C
      •
      BSD 2-Clause "Simplified" License
      •1•1•3•1•Updated Nov 28, 2024Nov 28, 2024

    • cakeml

      Public
      CakeML: A Verified Implementation of ML
      Standard ML
      •
      Other
      •89•0•0•0•Updated Oct 20, 2024Oct 20, 2024

    • gordian-smt-profiler

      Public
      A "frontend" independent query profiling tool for Z3, mostly ripped off Verus
      Rust
      •0•2•0•0•Updated Jul 9, 2024Jul 9, 2024

    • gordian-relation-proof

      Public
      This repository contains the proof that the relation between the microkit state machine is maintained with kernel projection, in SMT.
      SMT
      •0•0•0•0•Updated May 19, 2024May 19, 2024

    • gordian

      Public
      Python
      •
      BSD 2-Clause "Simplified" License
      •1•0•0•0•Updated Mar 28, 2024Mar 28, 2024

    • dmarc

      Public
      Scripts for managing and displaying dmarc delivery reports
      Python
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Feb 21, 2024Feb 21, 2024

    • isabelle-symbols-bitbucket-github

      Public
      A userscript to render Isabelle symbols in unicode in Bitbucket and Github repos (for use with tampermonkey / greasemonkey).
      JavaScript
      •1•0•1•0•Updated Oct 26, 2023Oct 26, 2023

    • camkes_to_microkit_guide

      Public
      A guide for migrating systems built on seL4 using CAmkES to Microkit
      0•2•1•0•Updated Oct 10, 2023Oct 10, 2023

    • Isabelle-setup-instructions

      Public
      Scott's flattened installation instructions for L4V Isabelle on Debian.
      0•0•0•0•Updated May 1, 2023May 1, 2023

    • python3-bibtex

      Public
      C
      •0•0•0•0•Updated Aug 30, 2022Aug 30, 2022

    • confluence-to-dokuwiki

      Public
      A python script to convert a confluence export (and its attachments) to a structure that works with DokuWiki
      Python
      •0•0•1•0•Updated Sep 5, 2021Sep 5, 2021
    0