Skip to content

@aeronautical-informatics Aeronautical Informatics

Change the repository type filter

All

    Repositories list

    15 repositories

    • openCAS

      Public
      Horizontal and vertical CAS implementation based on stanford Neuronal Network approach, written in bare-metal Rust.
      Rust
      •
      Apache License 2.0
      •1•3•4•0•Updated Sep 20, 2024Sep 20, 2024

    • xilinx-flake-utils

      Public
      A flake which hopefully proves useful for fellow Xilinx users
      Tcl
      •2•2•0•2•Updated Jul 15, 2024Jul 15, 2024

    • xng-flake-utils

      Public
      Adding Nix support for the XNG hypervisor
      Nix
      •1•0•0•0•Updated May 21, 2024May 21, 2024

    • compcert-flake-utils

      Public
      Nix Flake helpers for the CompCert compiler
      Nix
      •
      Apache License 2.0
      •0•0•0•0•Updated Apr 3, 2024Apr 3, 2024

    • apex-rs-vanilla

      Public
      Rust
      •
      Apache License 2.0
      •2•0•0•1•Updated Jan 30, 2024Jan 30, 2024

    • qsma-parallel

      Public
      Project code for the QSMA project
      C
      •0•0•0•0•Updated Jan 24, 2024Jan 24, 2024

    • openTAWS

      Public
      A draft for an open TAWS
      Rust
      •2•10•9•2•Updated Nov 10, 2023Nov 10, 2023

    • ODME

      Public
      Operational Domain Modelling Environment
      Java
      •
      MIT License
      •2•4•0•1•Updated Sep 29, 2023Sep 29, 2023

    • SESTools

      Public
      SESEditor for building System Entity Structures and PESEditor for interactive pruning
      Java
      •
      MIT License
      •4•1•10•2•Updated Jun 14, 2023Jun 14, 2023

    • xng-rs

      Public
      A Rust wrapper for the Xtratum Next Generation API
      Rust
      •
      GNU General Public License v3.0
      •0•3•1•1•Updated Sep 6, 2022Sep 6, 2022

    • ske-bdd-taws-demonstrator

      Public
      Rust
      •
      Apache License 2.0
      •0•0•0•0•Updated Jun 30, 2022Jun 30, 2022

    • emb-dev-ops-org

      Public
      Organizational Repo for the Smart4All EmbDevOps project
      Gherkin
      •0•2•0•0•Updated Sep 24, 2021Sep 24, 2021

    • openCASp

      Public
      The open source passive collision avoidance system
      MIT License
      •0•1•0•0•Updated Sep 17, 2021Sep 17, 2021

    • ske-rs

      Public
      Rust
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Aug 6, 2021Aug 6, 2021

    • mavlink-msp-bridge

      Public
      To be continued...
      Rust
      •
      MIT License
      •0•1•0•3•Updated Dec 18, 2020Dec 18, 2020