Repositories list

• seL4-nix-utils

  Public
  Nix tooling for the seL4 microkernel & ecosystem

  Nix

  •

  Apache License 2.0

  •0•3•1•3•Updated Oct 21, 2024Oct 21, 2024

• TBT-Segmentation

  Public
  This tool allows to segment a trace of events using a temporal behavior tree specification

  Rust

  •

  Other

  •0•1•0•0•Updated Oct 18, 2024Oct 18, 2024

• a653rs

  Public
  Arinc653 abstraction library for hypervisor independent partition programming

  Rust

  •

  Apache License 2.0

  •2•7•9•1•Updated Oct 17, 2024Oct 17, 2024

• wasm-separation-kernel

  Public
  Rust

  •

  Apache License 2.0

  •0•1•0•0•Updated Oct 15, 2024Oct 15, 2024

• wasm-interpreter

  Public
  A minimal in-place WebAssembly interpreter, written in Rust, almost without use of external dependencies

  interpreterwasm

  Rust

  •

  Apache License 2.0

  •4•4•16•5•Updated Oct 8, 2024Oct 8, 2024

• a653rs-router

  Public
  ARINC 653 message router based on a653rs

  Rust

  •

  Apache License 2.0

  •0•0•3•0•Updated Sep 27, 2024Sep 27, 2024

• a653rs-router-data

  Public
  Measurement data for a653rs-router

  Python

  •

  Apache License 2.0

  •0•0•0•0•Updated Sep 27, 2024Sep 27, 2024

• sysml-v2-nix

  Public
  Nix tooling around SysML v2

  Nix

  •0•2•0•0•Updated Sep 10, 2024Sep 10, 2024

• a653rs-linux

  Public
  Rust

  •

  Apache License 2.0

  •0•1•13•3•Updated Aug 19, 2024Aug 19, 2024

• a653rs-xng

  Public
  Rust

  •

  Apache License 2.0

  •2•1•0•0•Updated Jun 19, 2024Jun 19, 2024

• a653rs-postcard

  Public
  Rust

  •

  Apache License 2.0

  •1•0•0•0•Updated Jun 14, 2024Jun 14, 2024

• sel4-rs

  Public
  Rust

  •1•2•3•1•Updated Apr 2, 2024Apr 2, 2024

• sysml-v2-nu

  Public
  Nushell

  •0•1•0•0•Updated Mar 5, 2024Mar 5, 2024

• ModelBasedSTPA

  Public
  MIT License

  •0•5•0•0•Updated Feb 5, 2024Feb 5, 2024

• xng-rs-log

  Public
  Logger using XNG console

  Rust

  •

  MIT License

  •0•0•0•0•Updated Jun 13, 2023Jun 13, 2023