Skip to content

@n7space N7 Space sp. z o. o.

Change the repository type filter

All

    Repositories list

    35 repositories

    • Spin

      Public
      Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
      Promela
      •
      Other
      •129•1•1•0•Updated Nov 4, 2024Nov 4, 2024

    • sdl2promela

      Public
      C
      •
      GNU General Public License v3.0
      •0•2•0•0•Updated Sep 17, 2024Sep 17, 2024

    • DataModellingTools

      Public
      N7Space working fork of The Data Modelling Tools of the European Space Agency's TASTE toolchain
      Python
      •
      Other
      •7•0•0•0•Updated Sep 9, 2024Sep 9, 2024

    • asn1scc.IDE

      Public
      Qt Creator plugin for asn1scc - ASN.1/ACN compiler for embedded systems
      qtqtcreatorqt5asn1qtcreator4asn-1ideasn
      C++
      •
      GNU General Public License v3.0
      •7•19•19•0•Updated Sep 4, 2024Sep 4, 2024

    • asn1scc

      Public
      N7 Space working fork of ASN1SCC: An open source ASN.1 compiler for embedded systems
      F#
      •
      Other
      •58•0•0•2•Updated Sep 3, 2024Sep 3, 2024

    • adac-hybrid-msp430

      Public
      Hybrid Ada compiler for MSP430 platform
      msp430adacompilerllvm
      Ada
      •
      Other
      •0•5•0•1•Updated Sep 3, 2024Sep 3, 2024

    • TASTE-Dev-Env

      Public
      Dockerfile
      •
      GNU Lesser General Public License v2.1
      •0•0•0•0•Updated May 21, 2024May 21, 2024

    • sis

      Public
      C
      •
      GNU General Public License v3.0
      •0•2•0•0•Updated Mar 5, 2024Mar 5, 2024

    • asn1-pusc-lib

      Public
      ASN.1 implementation of the PUS-C ECSS standard using ACN encoding.
      asn1asnasn-1
      C
      •
      GNU General Public License v3.0
      •4•14•2•1•Updated Jan 24, 2024Jan 24, 2024

    • TASTE-Runtime-Common

      Public
      C
      •
      Other
      •1•0•0•1•Updated Jan 23, 2024Jan 23, 2024

    • Remote-Target-Runner

      Public
      Python
      •
      GNU General Public License v2.0
      •0•0•0•1•Updated Dec 19, 2023Dec 19, 2023

    • aerugo

      Public
      Safety-critical applications oriented Real-Time Operating System written in Rust
      Rust
      •
      Apache License 2.0
      •8•282•0•0•Updated Dec 12, 2023Dec 12, 2023

    • TASTE-CD-Demo

      Public
      C
      •
      Other
      •0•0•0•1•Updated Jul 7, 2023Jul 7, 2023

    • MSP430-Emulator

      Public
      Providing a software model of the TI MSP430
      msp430
      C
      •
      GNU General Public License v3.0
      •20•3•0•0•Updated Jun 15, 2023Jun 15, 2023

    • AURORA-Validation

      Public
      C
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated May 30, 2023May 30, 2023

    • TASTE-SAMV71-Runtime

      Public
      C
      •0•0•0•0•Updated May 15, 2023May 15, 2023

    • Demo-Sat-2

      Public
      C
      •
      Other
      •0•0•0•0•Updated May 15, 2023May 15, 2023

    • TASTE-Linux-Runtime

      Public
      C++
      •0•0•0•0•Updated Apr 27, 2023Apr 27, 2023

    • TASTE-Linux-Drivers

      Public
      C++
      •1•0•0•0•Updated Feb 10, 2023Feb 10, 2023

    • TASTE-LEON3-Runtime

      Public
      C
      •0•0•0•0•Updated Jan 31, 2023Jan 31, 2023

    • Leon3-BSP

      Public
      C
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Jan 31, 2023Jan 31, 2023

    • TASTE-LEON3-Drivers

      Public
      C
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Jan 31, 2023Jan 31, 2023

    • AURORA-Reference-Component-Set

      Public
      C
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jan 30, 2023Jan 30, 2023

    • xmldiff

      Public
      A library and command line utility for diffing xml
      Python
      •
      MIT License
      •53•0•0•0•Updated Jan 11, 2023Jan 11, 2023

    • TASTE-Runtime-Tests

      Public
      C
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Jan 9, 2023Jan 9, 2023

    • TASTE-SAMV71-Drivers

      Public
      C
      •0•0•0•0•Updated Jul 19, 2022Jul 19, 2022

    • TASTE-SAMV71-Demo

      Public
      SAMV71 TASTE Runtime and Driver usage demonstration
      QMake
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Apr 7, 2022Apr 7, 2022

    • cmake-tools

      Public
      CMake
      •
      MIT License
      •1•1•0•0•Updated Mar 29, 2022Mar 29, 2022

    • adac-hybrid-arm

      Public
      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
      •0•0•0•0•Updated Mar 28, 2022Mar 28, 2022

    • SAMV71-BSP

      Public
      C
      •1•1•0•0•Updated Feb 8, 2022Feb 8, 2022