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
  ☆283Updated last week
• lf-lang / playground-lingua-franca
  Try Lingua Franca now!
  ☆21Updated 2 weeks ago
• ndm736 / ME433_2021
  Repo for ME433 Advanced Mechatronics at Northwestern University in Spring 2021
  ☆10Updated 4 years ago
• lf-lang / reactor-c
  A reactor runtime written in C
  ☆20Updated this week
• NASA-SW-VnV / fret
  A framework for the elicitation, specification, formalization and analysis of requirements.
  ☆398Updated 7 months ago
• IDA-TUBS / pycpa
  Compositional Performance Analysis in Python
  ☆21Updated 5 years ago
• automaticdai / realtime-embedded-conferences
  Tracking conferences in Real-time Embedded Systems, Design Automation, Cyber-Pyhsical Systems and Robotics!
  ☆127Updated 2 weeks ago
• pacti-org / pacti
  A package for compositional system analysis and design
  ☆26Updated 6 months ago
• GaloisInc / HARDENS
  Repository for the HARDENS project
  ☆26Updated last year
• rsnikhil / ICFP2020_Bluespec_Tutorial
  Tutorial on hardware design using Bluespec BH (Bluespec Classic) for Haskell programmers at ACM ICFP 2020 conference
  ☆77Updated 3 years ago
• byu-cpe / ComputingBootCamp
  ☆11Updated 8 months ago
• strictdoc-project / strictdoc
  Software for technical documentation and requirements management.
  ☆240Updated last week
• antmicro / kenning
  ☆87Updated this week
• embedded-software-laboratory / embeddedRTPS
  Portable implementation of the RTPS/DDS protocol for embedded devices.
  ☆178Updated last year
• antmicro / meta-antmicro
  ☆20Updated 2 weeks ago
• ben-marshall / awesome-open-hardware-verification
  A List of Free and Open Source Hardware Verification Tools and Frameworks
  ☆586Updated 3 weeks ago
• oxidecomputer / cobalt
  A collection of common Bluespec interfaces/modules.
  ☆103Updated last year
• eclipse-ecal / ecal
  📦 eCAL - enhanced Communication Abstraction Layer. A high performance publish-subscribe, client-server cross-plattform middleware.
  ☆971Updated this week
• BerkeleyHCI / PolymorphicBlocks
  A work-in-progress board-level hardware description language (HDL) providing design automation through generators and block polymorphism.
  ☆86Updated last week
• carlesfernandez / docker-petalinux2
  Docker image generation for Xilinx Petalinux Tools
  ☆40Updated 4 months ago
• flokli / pynq
  Tooling to use the Pynq Board somewhat nicely
  ☆13Updated 3 years ago
• jahierwan / lustre-examples
  Some Lustre program examples
  ☆22Updated 6 months ago
• hdl / bazel_rules_hdl
  Hardware Description Language (Verilog, VHDL, Chisel, nMigen, etc) with open tools (Yosys, Verilator, OpenROAD, etc) rules for Bazel (htt…
  ☆151Updated last month
• pulp-platform / bender
  A dependency management tool for hardware projects.
  ☆343Updated last week
• libhal / libhal
  A collection of interfaces and abstractions for embedded peripherals and devices using modern C++
  ☆43Updated last week
• eclipse-zenoh / zenoh-pico
  Eclipse zenoh for pico devices
  ☆216Updated this week
• agra-uni-bremen / crave
  Constrained random stimuli generation for C++ and SystemC
  ☆53Updated 2 years ago
• OBPMark / OBPMark
  OBPMark (On-Board Processing Benchmarks)
  ☆33Updated 2 years ago
• bmw-software-engineering / trlc
  Treat Requirements Like Code
  ☆84Updated last week
• RIT-EVT / EVT-core
  Repository for the shared functionality on EVT hardware.
  ☆16Updated last week