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 this week
• lf-lang / playground-lingua-franca
  Try Lingua Franca now!
  ☆21Updated 2 weeks ago
• lf-lang / reactor-c
  A reactor runtime written in C
  ☆20Updated last week
• Copilot-Language / copilot
  A stream-based runtime-verification framework for generating hard real-time C code.
  ☆785Updated last month
• pacti-org / pacti
  A package for compositional system analysis and design
  ☆25Updated 4 months ago
• RoboJackets / electrical-training
  RoboJackets Electrical Training Program
  ☆28Updated 2 months ago
• janestreet / hardcaml
  Hardcaml is an OCaml library for designing hardware.
  ☆908Updated 3 weeks ago
• strictdoc-project / strictdoc
  Software for technical documentation and requirements management.
  ☆223Updated 2 weeks ago
• GaloisInc / HARDENS
  Repository for the HARDENS project
  ☆26Updated last year
• n7space / asn1-pusc-lib
  ASN.1 implementation of the PUS-C ECSS standard using ACN encoding.
  ☆17Updated last year
• rsnikhil / ICFP2020_Bluespec_Tutorial
  Tutorial on hardware design using Bluespec BH (Bluespec Classic) for Haskell programmers at ACM ICFP 2020 conference
  ☆76Updated 3 years 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
• RIT-EVT / EVT-core
  Repository for the shared functionality on EVT hardware.
  ☆16Updated 3 weeks ago
• Xilinx / meta-xilinx
  Collection of Yocto Project layers to enable AMD Xilinx products
  ☆167Updated 3 weeks ago
• RIOT-OS / riot-course
  Online RIOT course + exercise material
  ☆38Updated 2 months ago
• yuasatakayuki / SpaceWireRMAPLibrary
  Open-source C++ library for the SpaceWire and RMAP protocols
  ☆32Updated 3 years ago
• arm-university / Rapid-Embedded-Education-Kit
  Design and program Arm-based embedded systems and implement them using commercial API
  ☆113Updated 2 months ago
• chipsalliance / f4pga
  FOSS Flow For FPGA
  ☆415Updated 11 months ago
• flokli / pynq
  Tooling to use the Pynq Board somewhat nicely
  ☆13Updated 3 years ago
• IDA-TUBS / pycpa
  Compositional Performance Analysis in Python
  ☆21Updated 4 years ago
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆123Updated last week
• automaticdai / realtime-embedded-conferences
  Tracking conferences in Real-time Embedded Systems, Design Automation, Cyber-Pyhsical Systems and Robotics!
  ☆124Updated 2 weeks ago
• julienfdev / dokifive_p50
  ☆63Updated 7 months ago
• nasa-jpl / embedded-gcov
  GCC/gcov code coverage data extraction from the actual embedded system, without requiring a file system, or an operating system, or stand…
  ☆203Updated last year
• agoessling / rules_vivado
  Bazel rules for Xilinx Vivado
  ☆20Updated 3 years ago
• philips-software / amp-devcontainer
  🔋amp-devcontainer is a batteries-included devcontainer useable for modern software development
  ☆127Updated this week
• tymonx / logic
  CMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.
  ☆283Updated 6 years ago
• ftsrg / gamma
  An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
  ☆33Updated this week
• ndm736 / ME433_2021
  Repo for ME433 Advanced Mechatronics at Northwestern University in Spring 2021
  ☆10Updated 4 years ago
• os-fpga / open-source-fpga-resource
  A list of resources related to the open-source FPGA projects
  ☆433Updated 3 years ago