Skip to content
@aeronautical-informatics

Aeronautical Informatics

This is a joint researchgroup between the Insitute of Informatics@TU-Clausthal and Institute of Flight Systems@German Aerospace Center (DLR)

Popular repositories Loading

  1. openTAWS openTAWS Public

    A draft for an open TAWS

    Rust 10 2

  2. ODME ODME Public

    Operational Domain Modelling Environment

    Java 4 2

  3. xng-rs xng-rs Public

    A Rust wrapper for the Xtratum Next Generation API

    Rust 3

  4. openCAS openCAS Public

    Horizontal and vertical CAS implementation based on stanford Neuronal Network approach, written in bare-metal Rust.

    Rust 3 1

  5. emb-dev-ops-org emb-dev-ops-org Public

    Organizational Repo for the Smart4All EmbDevOps project

    Gherkin 2

  6. mavlink-msp-bridge mavlink-msp-bridge Public

    To be continued...

    Rust 1

Repositories

Showing 10 of 14 repositories
  • openCAS Public

    Horizontal and vertical CAS implementation based on stanford Neuronal Network approach, written in bare-metal Rust.

    aeronautical-informatics/openCAS’s past year of commit activity
    Rust 3 Apache-2.0 1 4 0 Updated Sep 20, 2024
  • xng-flake-utils Public

    Adding Nix support for the XNG hypervisor

    aeronautical-informatics/xng-flake-utils’s past year of commit activity
    Nix 0 1 0 0 Updated May 21, 2024
  • compcert-flake-utils Public

    Nix Flake helpers for the CompCert compiler

    aeronautical-informatics/compcert-flake-utils’s past year of commit activity
    Nix 0 Apache-2.0 0 0 0 Updated Apr 3, 2024
  • apex-rs-vanilla Public
    aeronautical-informatics/apex-rs-vanilla’s past year of commit activity
    Rust 0 Apache-2.0 2 0 1 Updated Jan 30, 2024
  • qsma-parallel Public

    Project code for the QSMA project

    aeronautical-informatics/qsma-parallel’s past year of commit activity
    C 0 0 0 0 Updated Jan 24, 2024
  • openTAWS Public

    A draft for an open TAWS

    aeronautical-informatics/openTAWS’s past year of commit activity
    Rust 10 2 9 2 Updated Nov 10, 2023
  • ODME Public

    Operational Domain Modelling Environment

    aeronautical-informatics/ODME’s past year of commit activity
    Java 4 MIT 2 0 1 Updated Sep 29, 2023
  • SESTools Public

    SESEditor for building System Entity Structures and PESEditor for interactive pruning

    aeronautical-informatics/SESTools’s past year of commit activity
    Java 1 MIT 4 10 (1 issue needs help) 2 Updated Jun 14, 2023
  • xng-rs Public

    A Rust wrapper for the Xtratum Next Generation API

    aeronautical-informatics/xng-rs’s past year of commit activity
    Rust 3 GPL-3.0 0 1 1 Updated Sep 6, 2022
  • ske-bdd-taws-demonstrator Public
    aeronautical-informatics/ske-bdd-taws-demonstrator’s past year of commit activity
    Rust 0 Apache-2.0 0 0 0 Updated Jun 30, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…