Skip to content

@DLR-FT DLR Institute of Flight Systems

Change the repository type filter

All

    Repositories list

    16 repositories

    • 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•9•19•6•Updated Nov 13, 2024Nov 13, 2024

    • seL4-nix-utils

      Public
      Nix tooling for the seL4 microkernel & ecosystem
      Nix
      •
      Apache License 2.0
      •1•4•1•1•Updated Nov 13, 2024Nov 13, 2024

    • a653rs-router

      Public
      ARINC 653 message router based on a653rs
      Rust
      •
      Apache License 2.0
      •1•1•3•0•Updated Nov 8, 2024Nov 8, 2024

    • a653rs-linux

      Public
      Rust
      •
      Apache License 2.0
      •1•3•14•2•Updated Nov 7, 2024Nov 7, 2024

    • DEOS-rs

      Public
      Proof-of-Concept Rust port to DEOS
      Shell
      •
      Apache License 2.0
      •0•0•0•0•Updated Nov 5, 2024Nov 5, 2024

    • a653rs

      Public
      Arinc653 abstraction library for hypervisor independent partition programming
      Rust
      •
      Apache License 2.0
      •3•8•9•0•Updated Nov 5, 2024Nov 5, 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

    • wasm-separation-kernel

      Public
      Rust
      •
      Apache License 2.0
      •0•1•0•0•Updated Oct 15, 2024Oct 15, 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
      •1•3•0•0•Updated Sep 10, 2024Sep 10, 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•0•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
      •1•6•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