stanislaw

awesome-safety-critical

List of resources about programming practices for writing safety-critical software.

SoftwareDesignHeuristics

Heuristics for software design, development, testing, and maintenance programming.

posix-macos-addons

Some missing bits of POSIX for macOS.

carrierwave-vips-benchmarks

Perfomance benchmarks of ruby-vips library working behind CarrierWave::Vips uploader compared with native CarrierWave uploaders

Examples

Single place for examples I create: iOS, Mac OS, Cocoa, XCTest, MapKit, Make, Flex/Bison etc.

berlin-software-verification-meetup

Berlin Software Verification Meetup (Berlin, but online meetups are also planned, see the Program).

truncate-vs-count

Repository demonstrating a great advantage of performing checks of empty tables when cleaning tables with :truncation strategy

bin2cfetbl

Python version of the NASA CFS' elf2cfetbl tool. This Python tool supports generating CFS tables from both ELF and Mach-O formats.

stanislaw.github.io

My blog

xmlschema

XML Schema validator and data conversion library for Python

APG

ASN.1 Parser and Generator

Arpeggio

Parser interpreter based on PEG grammars written in Python http://textx.github.io/Arpeggio/

cFS

The Core Flight System (cFS)

cFS-GroundSystem

The Core Flight System (cFS) Ground System Lab Tool (cFS-GroundSystem)

COSMOS

Ball Aerospace COSMOS

gtest-demo

Unit test demo using Google Test.

link_health

Basic Link Health checker. Implemented in a single-file Python script.

osal

The Core Flight System (cFS) Operating System Abstraction Layer (OSAL)

pdf2image

A python module that wraps the pdftoppm utility to convert PDF to PIL Image object

PSP

The Core Flight System (cFS) Platform Support Package (PSP)

PTS-lunch-and-learn

Repo hosting my slides of PTS's Wednesdays *Lunch and Learn* talks.

python-ballcosmos

Python Support for Ball Aerospace COSMOS v4

reqmgmt

ros2_data_collection

Collect, validate and send data reliably from ROS 2 to create APIs and dashboards.

SCH

The Core Flight System (cFS) Scheduler (SCH) application.

shacl2code

Convert SHACL model to code bindings

textX

Domain-Specific Languages and parsers in Python made easy http://textx.github.io/textX/

tools-python

A Python library to parse, validate and create SPDX documents.

ValispacePythonAPI

A Python API for Valispace

vcr-experiment