Aeronautical Informatics
This is a joint researchgroup between the Insitute of Informatics@TU-Clausthal and Institute of Flight Systems@German Aerospace Center (DLR)
Lower Saxony, Germany
Pinned Repositories
emb-dev-ops-org
Organizational Repo for the Smart4All EmbDevOps project
mavlink-msp-bridge
To be continued...
ODME
Operational Domain Modelling Environment
openCAS
Horizontal and vertical CAS implementation based on stanford Neuronal Network approach, written in bare-metal Rust.
openCASp
The open source passive collision avoidance system
openTAWS
A draft for an open TAWS
qsma-parallel
Project code for the QSMA project
SESTools
SESEditor for building System Entity Structures and PESEditor for interactive pruning
xilinx-flake-utils
A flake which hopefully proves useful for fellow Xilinx users
xng-rs
A Rust wrapper for the Xtratum Next Generation API
Aeronautical Informatics 's Repositories
aeronautical-informatics/openTAWS
A draft for an open TAWS
aeronautical-informatics/ODME
Operational Domain Modelling Environment
aeronautical-informatics/openCAS
Horizontal and vertical CAS implementation based on stanford Neuronal Network approach, written in bare-metal Rust.
aeronautical-informatics/xng-rs
A Rust wrapper for the Xtratum Next Generation API
aeronautical-informatics/emb-dev-ops-org
Organizational Repo for the Smart4All EmbDevOps project
aeronautical-informatics/mavlink-msp-bridge
To be continued...
aeronautical-informatics/openCASp
The open source passive collision avoidance system
aeronautical-informatics/SESTools
SESEditor for building System Entity Structures and PESEditor for interactive pruning
aeronautical-informatics/qsma-parallel
Project code for the QSMA project
aeronautical-informatics/ske-rs
aeronautical-informatics/apex-rs-vanilla
aeronautical-informatics/compcert-flake-utils
Nix Flake helpers for the CompCert compiler
aeronautical-informatics/ske-bdd-taws-demonstrator
aeronautical-informatics/xng-flake-utils
Adding Nix support for the XNG hypervisor