Skip to content
Change the repository type filter

All

    Repositories list

    • Spin

      Public
      Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
      Promela
      Other
      128110Updated Nov 4, 2024Nov 4, 2024
    • C
      GNU General Public License v3.0
      0200Updated Sep 17, 2024Sep 17, 2024
    • N7Space working fork of The Data Modelling Tools of the European Space Agency's TASTE toolchain
      Python
      Other
      7000Updated Sep 9, 2024Sep 9, 2024
    • Qt Creator plugin for asn1scc - ASN.1/ACN compiler for embedded systems
      C++
      GNU General Public License v3.0
      719190Updated Sep 4, 2024Sep 4, 2024
    • asn1scc

      Public
      N7 Space working fork of ASN1SCC: An open source ASN.1 compiler for embedded systems
      F#
      Other
      58002Updated Sep 3, 2024Sep 3, 2024
    • Hybrid Ada compiler for MSP430 platform
      Ada
      Other
      0501Updated Sep 3, 2024Sep 3, 2024
    • Dockerfile
      GNU Lesser General Public License v2.1
      0000Updated May 21, 2024May 21, 2024
    • sis

      Public
      C
      GNU General Public License v3.0
      0200Updated Mar 5, 2024Mar 5, 2024
    • ASN.1 implementation of the PUS-C ECSS standard using ACN encoding.
      C
      GNU General Public License v3.0
      41421Updated Jan 24, 2024Jan 24, 2024
    • C
      Other
      1001Updated Jan 23, 2024Jan 23, 2024
    • Python
      GNU General Public License v2.0
      0001Updated Dec 19, 2023Dec 19, 2023
    • aerugo

      Public
      Safety-critical applications oriented Real-Time Operating System written in Rust
      Rust
      Apache License 2.0
      828300Updated Dec 12, 2023Dec 12, 2023
    • C
      Other
      0001Updated Jul 7, 2023Jul 7, 2023
    • Providing a software model of the TI MSP430
      C
      GNU General Public License v3.0
      20300Updated Jun 15, 2023Jun 15, 2023
    • C
      GNU General Public License v3.0
      0000Updated May 30, 2023May 30, 2023
    • C
      0000Updated May 15, 2023May 15, 2023
    • C
      Other
      0000Updated May 15, 2023May 15, 2023
    • C++
      0000Updated Apr 27, 2023Apr 27, 2023
    • C++
      1000Updated Feb 10, 2023Feb 10, 2023
    • C
      0000Updated Jan 31, 2023Jan 31, 2023
    • Leon3-BSP

      Public
      C
      GNU General Public License v2.0
      0000Updated Jan 31, 2023Jan 31, 2023
    • C
      GNU General Public License v2.0
      0000Updated Jan 31, 2023Jan 31, 2023
    • C
      GNU General Public License v3.0
      0000Updated Jan 30, 2023Jan 30, 2023
    • xmldiff

      Public
      A library and command line utility for diffing xml
      Python
      MIT License
      52000Updated Jan 11, 2023Jan 11, 2023
    • C
      GNU General Public License v2.0
      0000Updated Jan 9, 2023Jan 9, 2023
    • C
      0000Updated Jul 19, 2022Jul 19, 2022
    • SAMV71 TASTE Runtime and Driver usage demonstration
      QMake
      GNU General Public License v3.0
      0100Updated Apr 7, 2022Apr 7, 2022
    • CMake
      MIT License
      1100Updated Mar 29, 2022Mar 29, 2022
    • A wrapper for AdaCore's arm-eabi-gcc, so that it can be hooked up to standard arm-none-eabi toolchain
      Ada
      GNU General Public License v3.0
      0000Updated Mar 28, 2022Mar 28, 2022
    • C
      1100Updated Feb 8, 2022Feb 8, 2022