N7 Space sp. z o. o.

aerugo

Safety-critical applications oriented Real-Time Operating System written in Rust

asn1scc.IDE

Qt Creator plugin for asn1scc - ASN.1/ACN compiler for embedded systems

asn1-pusc-lib

ASN.1 implementation of the PUS-C ECSS standard using ACN encoding.

adac-hybrid-msp430

Hybrid Ada compiler for MSP430 platform

MSP430-Emulator

Providing a software model of the TI MSP430

sdl2promela

sis

cmake-tools

SAMV71-BSP

Spin

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

TASTE-SAMV71-Demo

SAMV71 TASTE Runtime and Driver usage demonstration

adac-hybrid-arm

A wrapper for AdaCore's arm-eabi-gcc, so that it can be hooked up to standard arm-none-eabi toolchain

asn1scc

N7 Space working fork of ASN1SCC: An open source ASN.1 compiler for embedded systems

AURORA-Reference-Component-Set

Leon3-BSP

AURORA-Validation

DataModellingTools

N7Space working fork of The Data Modelling Tools of the European Space Agency's TASTE toolchain

Demo-Sat-2

Remote-Target-Runner

TASTE-CD-Demo

TASTE-Dev-Env

TASTE-LEON3-Drivers

TASTE-LEON3-Runtime

TASTE-Linux-Drivers

TASTE-Linux-Runtime

TASTE-Runtime-Common

TASTE-Runtime-Tests

TASTE-SAMV71-Drivers

TASTE-SAMV71-Runtime

xmldiff

A library and command line utility for diffing xml