Stanislav Pankevich's repositories
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
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
cFS-GroundSystem
The Core Flight System (cFS) Ground System Lab Tool (cFS-GroundSystem)
gtest-demo
Unit test demo using Google Test.
link_health
Basic Link Health checker. Implemented in a single-file Python script.
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
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
tools-python
A Python library to parse, validate and create SPDX documents.
ValispacePythonAPI
A Python API for Valispace