- Berlin, Germany
- https://stanislaw.github.io/
Block or Report
Block or report stanislaw
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
shacl2code Public
Forked from JPEWdev/shacl2codeConvert SHACL model to code bindings
Python MIT License UpdatedMay 8, 2024 -
awesome-safety-critical Public
List of resources about programming practices for writing safety-critical software.
-
-
tools-python Public
Forked from spdx/tools-pythonA Python library to parse, validate and create SPDX documents.
Python Apache License 2.0 UpdatedMar 22, 2024 -
SoftwareDesignHeuristics Public
Heuristics for software design, development, testing, and maintenance programming.
-
The Core Flight System (cFS) Operating System Abstraction Layer (OSAL)
C Other UpdatedNov 17, 2023 -
ValispacePythonAPI Public
Forked from valispace/ValispacePythonAPIA Python API for Valispace
Python MIT License UpdatedNov 3, 2023 -
xmlschema Public
Forked from sissaschool/xmlschemaXML Schema validator and data conversion library for Python
-
The Core Flight System (cFS) Scheduler (SCH) application.
C UpdatedAug 2, 2023 -
textX Public
Forked from textX/textXDomain-Specific Languages and parsers in Python made easy http://textx.github.io/textX/
Python MIT License UpdatedJul 29, 2023 -
Arpeggio Public
Forked from textX/ArpeggioParser interpreter based on PEG grammars written in Python http://textx.github.io/Arpeggio/
Python Other UpdatedJul 4, 2023 -
ros2_data_collection Public
Forked from Minipada/ros2_data_collectionCollect, validate and send data reliably from ROS 2 to create APIs and dashboards.
C++ Mozilla Public License 2.0 UpdatedMay 30, 2023 -
-
-
link_health Public
Basic Link Health checker. Implemented in a single-file Python script.
Python Apache License 2.0 UpdatedFeb 24, 2023 -
carrierwave-vips-benchmarks Public
Perfomance benchmarks of ruby-vips library working behind CarrierWave::Vips uploader compared with native CarrierWave uploaders
-
truncate-vs-count Public
Repository demonstrating a great advantage of performing checks of empty tables when cleaning tables with :truncation strategy
-
-
pdf2image Public
Forked from Belval/pdf2imageA python module that wraps the pdftoppm utility to convert PDF to PIL Image object
Python MIT License UpdatedMay 7, 2022 -
PTS-lunch-and-learn Public
Repo hosting my slides of PTS's Wednesdays *Lunch and Learn* talks.
TeX UpdatedNov 21, 2021 -
Examples Public
Single place for examples I create: iOS, Mac OS, Cocoa, XCTest, MapKit, Make, Flex/Bison etc.
-
posix-macos-addons Public
Some missing bits of POSIX for macOS.
-
-
python-ballcosmos Public
Forked from BallAerospace/python-ballcosmosPython Support for Ball Aerospace COSMOS v4
Python Other UpdatedAug 18, 2021 -
Berlin Software Verification Meetup (Berlin, but online meetups are also planned, see the Program).
-
cFS-GroundSystem Public
Forked from nasa/cFS-GroundSystemThe Core Flight System (cFS) Ground System Lab Tool (cFS-GroundSystem)
Python Apache License 2.0 UpdatedApr 29, 2020 -
-
The Core Flight System (cFS) Platform Support Package (PSP)
C Apache License 2.0 UpdatedApr 15, 2020 -
gtest-demo Public
Forked from bast/gtest-demoUnit test demo using Google Test.
CMake BSD 3-Clause "New" or "Revised" License UpdatedMar 7, 2020 -
bin2cfetbl Public
Forked from nasa/elf2cfetblPython version of the NASA CFS' elf2cfetbl tool. This Python tool supports generating CFS tables from both ELF and Mach-O formats.