Skip to content
@DLR-FT

DLR Institute of Flight Systems

Pinned Loading

  1. ModelBasedSTPA Public

    7 1

  2. a653rs Public

    Arinc653 abstraction library for hypervisor independent partition programming

    Rust 11 3

Repositories

Showing 10 of 21 repositories
  • wasm-interpreter Public

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

    Rust 13 Apache-2.0 3 35 (4 issues need help) 16 Updated Mar 31, 2025
  • malkoha Public
    Python 0 Apache-2.0 0 0 0 Updated Mar 31, 2025
  • sphinx-ext-sparql Public
    Python 0 Apache-2.0 0 0 0 Updated Mar 31, 2025
  • seL4-nix-utils Public

    Nix tooling for the seL4 microkernel & ecosystem

    Nix 8 Apache-2.0 1 1 2 Updated Mar 19, 2025
  • seL4-summit-2024-rust-training-code Public Forked from coliasgroup/seL4-summit-2024-rust-training-code

    Code for a training session on how to use Rust to build on top of seL4, to be delivered at the seL4 Summit 2024.

    Rust 0 1 0 0 Updated Feb 18, 2025
  • xilinx-nix-utils Public

    A flake which hopefully proves useful for fellow Xilinx users

    Tcl 2 2 0 2 Updated Feb 1, 2025
  • a653rs-router Public

    ARINC 653 message router based on a653rs

    Rust 2 Apache-2.0 1 2 0 Updated Jan 21, 2025
  • RTLola-ROS2-Adapter Public

    Automatically exposes ROS 2 topics to CISPA's RTLola interpreter without manual overhead.

    Rust 0 0 0 0 Updated Jan 8, 2025
  • DEOS-rs Public

    Proof-of-Concept Rust port to DEOS

    Shell 0 Apache-2.0 0 0 0 Updated Nov 29, 2024
  • a653rs-linux Public
    Rust 5 Apache-2.0 2 14 2 Updated Nov 7, 2024
View all repositories