Alternatives and similar repositories for xronos

Users that are interested in xronos are comparing it to the libraries listed below

• lf-lang / lingua-franca
  Intuitive concurrent programming in any language
  ☆278Updated last week
• lf-lang / playground-lingua-franca
  Try Lingua Franca now!
  ☆20Updated this week
• strictdoc-project / strictdoc
  Software for technical documentation and requirements management.
  ☆219Updated this week
• IDA-TUBS / pycpa
  Compositional Performance Analysis in Python
  ☆20Updated 4 years ago
• lf-lang / reactor-c
  A reactor runtime written in C
  ☆19Updated last week
• pacti-org / pacti
  A package for compositional system analysis and design
  ☆25Updated 3 months ago
• thomasjupe / NiagaraN4BQLQueries
  A collection of BQL History Queries which can be used to interrogate station components within a Tridium Niagara N4 Framework.
  ☆20Updated 2 weeks ago
• eclipse-score / score
  Score project main repository
  ☆74Updated this week
• arm-university / Introduction-to-Robotic-Systems-Education-Kit
  Introductory material on robotics and key practical skills required to program and control a robot to interact with its environment and p…
  ☆21Updated 3 weeks ago
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆115Updated last month
• ftsrg / gamma
  An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
  ☆33Updated last week
• n7space / asn1-pusc-lib
  ASN.1 implementation of the PUS-C ECSS standard using ACN encoding.
  ☆16Updated last year
• hypro / hypro
  HyPro: A C++ state set representation library for the analysis of hybrid systems
  ☆36Updated 3 months ago
• nasa / fpp
  F Prime Prime: A modeling language for F Prime
  ☆84Updated this week
• nasa-jpl / fastcat
  C++ EtherCAT Device Command & Control Library
  ☆62Updated last week
• BerkeleyHCI / PolymorphicBlocks
  A work-in-progress board-level hardware description language (HDL) providing design automation through generators and block polymorphism.
  ☆85Updated this week
• GaloisInc / HARDENS
  Repository for the HARDENS project
  ☆26Updated 10 months ago
• NASA-SW-VnV / fret
  A framework for the elicitation, specification, formalization and analysis of requirements.
  ☆381Updated 4 months ago
• sevendays / doorhole
  A graphical requirements editor for doorstop: https://github.com/doorstop-dev/doorstop
  ☆49Updated 5 months ago
• eclipse-zenoh / zenoh-pico
  Eclipse zenoh for pico devices
  ☆190Updated last week
• byu-cpe / ComputingBootCamp
  ☆11Updated 5 months ago
• embedded-software-laboratory / embeddedRTPS
  Portable implementation of the RTPS/DDS protocol for embedded devices.
  ☆175Updated last year
• ros-acceleration / community
  ROS 2 Hardware Acceleration Working Group community governance model & list of projects
  ☆66Updated last year
• coco-team / cocoSim2
  Automated Analysis Framework for Simulink/Stateflow
  ☆16Updated 2 years ago
• bmw-software-engineering / trlc
  Treat Requirements Like Code
  ☆81Updated this week
• eclipse-uprotocol / up-cpp
  uProtocol Language Specific Library for C++
  ☆25Updated last month
• robertobucher / pysimCoder
  Block diagram editor and real time code generator for Python
  ☆212Updated 3 weeks ago
• ssoelvsten / bdd-benchmark
  Benchmarking Suite for BDD packages
  ☆19Updated last month
• machineware-gmbh / viper
  An Eclipse 4 RCP based GUI to interact with SystemC simulators
  ☆15Updated last month
• Formal-Systems-Laboratory / ROSRV
  ☆15Updated 4 years ago