Pinned Repositories
FileCheck.py
Attempt to reimplement LLVM's FileCheck using Python.
mull
Practical mutation testing and fault injection for C and C++
AFNetworkingLogger
AFNetworking logger - plugin providing network logging for iOS applications
AFNetworkingMeter
AFNetworking meter - plugin to measure HTTP traffic of iOS applications
awesome-safety-critical
List of resources about programming practices for writing safety-critical software.
LLVM-Cheatsheet
LLVM, clang, ninja, dyld and others.
simple_roles
Simple roles system for Rails apps
SoftwareDesignHeuristics
Heuristics for software design, development, testing, and maintenance programming.
reqif
Python library for ReqIF format. ReqIF parsing and unparsing.
strictdoc
Software for technical documentation and requirements management.
stanislaw's Repositories
stanislaw/awesome-safety-critical
List of resources about programming practices for writing safety-critical software.
stanislaw/SoftwareDesignHeuristics
Heuristics for software design, development, testing, and maintenance programming.
stanislaw/posix-macos-addons
Some missing bits of POSIX for macOS.
stanislaw/carrierwave-vips-benchmarks
Perfomance benchmarks of ruby-vips library working behind CarrierWave::Vips uploader compared with native CarrierWave uploaders
stanislaw/Examples
Single place for examples I create: iOS, Mac OS, Cocoa, XCTest, MapKit, Make, Flex/Bison etc.
stanislaw/berlin-software-verification-meetup
Berlin Software Verification Meetup (Berlin, but online meetups are also planned, see the Program).
stanislaw/truncate-vs-count
Repository demonstrating a great advantage of performing checks of empty tables when cleaning tables with :truncation strategy
stanislaw/bin2cfetbl
Python version of the NASA CFS' elf2cfetbl tool. This Python tool supports generating CFS tables from both ELF and Mach-O formats.
stanislaw/stanislaw.github.io
My blog
stanislaw/xmlschema
XML Schema validator and data conversion library for Python
stanislaw/APG
ASN.1 Parser and Generator
stanislaw/Arpeggio
Parser interpreter based on PEG grammars written in Python http://textx.github.io/Arpeggio/
stanislaw/cFS
The Core Flight System (cFS)
stanislaw/cFS-GroundSystem
The Core Flight System (cFS) Ground System Lab Tool (cFS-GroundSystem)
stanislaw/COSMOS
Ball Aerospace COSMOS
stanislaw/gtest-demo
Unit test demo using Google Test.
stanislaw/link_health
Basic Link Health checker. Implemented in a single-file Python script.
stanislaw/osal
The Core Flight System (cFS) Operating System Abstraction Layer (OSAL)
stanislaw/pdf2image
A python module that wraps the pdftoppm utility to convert PDF to PIL Image object
stanislaw/PSP
The Core Flight System (cFS) Platform Support Package (PSP)
stanislaw/PTS-lunch-and-learn
Repo hosting my slides of PTS's Wednesdays *Lunch and Learn* talks.
stanislaw/python-ballcosmos
Python Support for Ball Aerospace COSMOS v4
stanislaw/reqmgmt
stanislaw/ros2_data_collection
Collect, validate and send data reliably from ROS 2 to create APIs and dashboards.
stanislaw/SCH
The Core Flight System (cFS) Scheduler (SCH) application.
stanislaw/shacl2code
Convert SHACL model to code bindings
stanislaw/textX
Domain-Specific Languages and parsers in Python made easy http://textx.github.io/textX/
stanislaw/tools-python
A Python library to parse, validate and create SPDX documents.
stanislaw/ValispacePythonAPI
A Python API for Valispace
stanislaw/vcr-experiment