N7 Space sp. z o. o.

Poland

Pinned Repositories

adac-hybrid-msp430
Hybrid Ada compiler for MSP430 platform
Language:Ada6 5 00
aerugo
Safety-critical applications oriented Real-Time Operating System written in Rust
Language:Rust272 5 08
asn1-pusc-lib
ASN.1 implementation of the PUS-C ECSS standard using ACN encoding.
Language:C14 8 24
asn1scc.Fuzzer
Tool for generating test cases based on ASN.1/ACN models and simulating malformed or malicious data.
Language:C++7 5 51
asn1scc.IDE
Qt Creator plugin for asn1scc - ASN.1/ACN compiler for embedded systems
Language:C++19 7 217
Capella-TASTE-Plugin
Capella plugin for exporting models to TASTE
Language:Java2 3 10
MSP430-Emulator
Providing a software model of the TI MSP430
Language:C3 1 01
sdl2promela
Language:Promela2 1 00
sis
Language:C2 1 00
Spin
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
Language:Promela1 0 10

N7 Space sp. z o. o.'s Repositories

n7space/aerugo
Safety-critical applications oriented Real-Time Operating System written in Rust
Language:Rust272 5 08
n7space/asn1scc.IDE
Qt Creator plugin for asn1scc - ASN.1/ACN compiler for embedded systems
Language:C++19 7 217
n7space/asn1-pusc-lib
ASN.1 implementation of the PUS-C ECSS standard using ACN encoding.
Language:C14 8 24
n7space/adac-hybrid-msp430
Hybrid Ada compiler for MSP430 platform
Language:Ada6 5 00
n7space/MSP430-Emulator
Providing a software model of the TI MSP430
Language:C3 1 01
n7space/sdl2promela
Language:Promela2 1 00
n7space/sis
Language:C2 1 00
n7space/cmake-tools
Language:CMake1 2 01
n7space/SAMV71-BSP
Language:C1 2 01
n7space/Spin
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
Language:Promela1 0 10
n7space/TASTE-SAMV71-Demo
SAMV71 TASTE Runtime and Driver usage demonstration
Language:QMake1 3 00
n7space/asn1scc
N7 Space working fork of ASN1SCC: An open source ASN.1 compiler for embedded systems
Language:F#0 1 00
n7space/Leon3-BSP
Language:C0 2 00
n7space/adac-hybrid-arm
A wrapper for AdaCore's arm-eabi-gcc, so that it can be hooked up to standard arm-none-eabi toolchain
Language:Ada1 0
n7space/AURORA-Reference-Component-Set
Language:C1 0
n7space/AURORA-Validation
Language:C1 0
n7space/Demo-Sat-2
Language:C1 0
n7space/Remote-Target-Runner
Language:Python2 0
n7space/SpinRepository
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
n7space/TASTE-CD-Demo
Language:C2 0
n7space/TASTE-Dev-Env
Language:Dockerfile1 0
n7space/TASTE-LEON3-Drivers
Language:C2 0
n7space/TASTE-LEON3-Runtime
Language:C1 0
n7space/TASTE-Linux-Drivers
Language:C++1 01
n7space/TASTE-Linux-Runtime
Language:C++1 0
n7space/TASTE-Runtime-Common
Language:C1 01
n7space/TASTE-Runtime-Tests
Language:C2 0
n7space/TASTE-SAMV71-Drivers
Language:C1 0
n7space/TASTE-SAMV71-Runtime
Language:C1 0
n7space/xmldiff
A library and command line utility for diffing xml
Language:Python0 0