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
  ☆282Updated last week
• lf-lang / playground-lingua-franca
  Try Lingua Franca now!
  ☆21Updated last week
• lf-lang / reactor-c
  A reactor runtime written in C
  ☆20Updated last week
• ndm736 / ME433_2021
  Repo for ME433 Advanced Mechatronics at Northwestern University in Spring 2021
  ☆10Updated 4 years ago
• Xilinx / meta-xilinx-tools
  Yocto Project layer enables AMD Xilinx tools related metadata for MicroBlaze, Zynq, ZynqMP and Versal devices.
  ☆65Updated last month
• GaloisInc / HARDENS
  Repository for the HARDENS project
  ☆26Updated last year
• strictdoc-project / strictdoc
  Software for technical documentation and requirements management.
  ☆229Updated this week
• thomasjupe / NiagaraN4BQLQueries
  A collection of BQL History Queries which can be used to interrogate station components within a Tridium Niagara N4 Framework.
  ☆22Updated 2 months ago
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆123Updated 3 weeks ago
• Xilinx / KRS
  The Kria Robotics Stack (KRS) is a ROS 2 superset for industry, an integrated set of robot libraries and utilities to accelerate the deve…
  ☆57Updated last year
• IDA-TUBS / pycpa
  Compositional Performance Analysis in Python
  ☆21Updated 4 years ago
• ros-acceleration / community
  ROS 2 Hardware Acceleration Working Group community governance model & list of projects
  ☆65Updated last year
• NASA-SW-VnV / fret
  A framework for the elicitation, specification, formalization and analysis of requirements.
  ☆394Updated 6 months ago
• Xilinx / meta-xilinx
  Collection of Yocto Project layers to enable AMD Xilinx products
  ☆167Updated 2 weeks ago
• drichmond / HOPS
  Synthesizable Higher-Order Functions (Patterns) for C++
  ☆17Updated 7 years ago
• automaticdai / realtime-embedded-conferences
  Tracking conferences in Real-time Embedded Systems, Design Automation, Cyber-Pyhsical Systems and Robotics!
  ☆124Updated last week
• n7space / asn1-pusc-lib
  ASN.1 implementation of the PUS-C ECSS standard using ACN encoding.
  ☆17Updated last year
• os-fpga / open-source-fpga-resource
  A list of resources related to the open-source FPGA projects
  ☆434Updated 3 years ago
• pacti-org / pacti
  A package for compositional system analysis and design
  ☆25Updated 5 months ago
• circuits-and-code / circuits-and-code-book
  Helping you master the embedded co-op interview by explaining over 20 of the most common firmware and hardware interview questions.
  ☆68Updated last week
• carlesfernandez / docker-petalinux2
  Docker image generation for Xilinx Petalinux Tools
  ☆40Updated 3 months ago
• elisa-tech / wg-aerospace
  ELISA Aerospace Working Group
  ☆32Updated last week
• embedded-software-laboratory / embeddedRTPS
  Portable implementation of the RTPS/DDS protocol for embedded devices.
  ☆179Updated last year
• tacle / tacle-bench
  TACLe Benchmarks
  ☆54Updated 2 months ago
• YosysHQ / sby
  SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
  ☆483Updated 2 weeks ago
• libhal / libhal
  A collection of interfaces and abstractions for embedded peripherals and devices using modern C++
  ☆42Updated last week
• aperloff / vivado-docker
  Vivado on Docker
  ☆34Updated 4 years ago
• uclid-org / uclid
  UCLID5: formal modeling, verification, and synthesis of computational systems
  ☆152Updated 5 months ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆103Updated last week
• jahierwan / lustre-examples
  Some Lustre program examples
  ☆22Updated 5 months ago