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
  ☆271Updated this week
• lf-lang / playground-lingua-franca
  Try Lingua Franca now!
  ☆20Updated this week
• lf-lang / reactor-c
  A reactor runtime written in C
  ☆19Updated last week
• ndm736 / ME433_2021
  Repo for ME433 Advanced Mechatronics at Northwestern University in Spring 2021
  ☆10Updated 4 years ago
• pacti-org / pacti
  A package for compositional system analysis and design
  ☆25Updated 2 months ago
• RoboJackets / electrical-training
  RoboJackets Electrical Training Program
  ☆28Updated last week
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆112Updated last week
• flokli / pynq
  Tooling to use the Pynq Board somewhat nicely
  ☆13Updated 2 years ago
• machineware-gmbh / viper
  An Eclipse 4 RCP based GUI to interact with SystemC simulators
  ☆11Updated last week
• hypro / hypro
  HyPro: A C++ state set representation library for the analysis of hybrid systems
  ☆35Updated 2 months ago
• NVlabs / Cypress
  ☆27Updated 6 months ago
• chipsalliance / f4pga
  FOSS Flow For FPGA
  ☆405Updated 8 months ago
• zeroasiccorp / switchboard
  Communication framework for RTL simulation and emulation.
  ☆294Updated 2 weeks ago
• calyxir / calyx
  Intermediate Language (IL) for Hardware Accelerator Generators
  ☆545Updated this week
• NASA-SW-VnV / fret
  A framework for the elicitation, specification, formalization and analysis of requirements.
  ☆371Updated 3 months ago
• ros-acceleration / community
  ROS 2 Hardware Acceleration Working Group community governance model & list of projects
  ☆65Updated last year
• atopile / hil
  Hardware-In-the-Loop (HiL ⛰️) for high-quality validation 🧪 everywhere 🚀
  ☆25Updated 4 months ago
• coco-team / cocoSim2
  Automated Analysis Framework for Simulink/Stateflow
  ☆16Updated 2 years ago
• ghdl / ghdl-language-server
  Language server based on ghdl
  ☆98Updated 4 months ago
• ssoelvsten / bdd-benchmark
  Benchmarking Suite for BDD packages
  ☆17Updated this week
• arm-university / Robotics-and-IoT-for-microbit
  Take a journey of learning through the "Internet of Things" and Robotics. Learners apply Arm-based technology to solve interesting and au…
  ☆13Updated 3 months 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…
  ☆56Updated 9 months ago
• strictdoc-project / strictdoc
  Software for technical documentation and requirements management.
  ☆212Updated this week
• YosysHQ / sby
  SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
  ☆470Updated 2 weeks ago
• n7space / asn1-pusc-lib
  ASN.1 implementation of the PUS-C ECSS standard using ACN encoding.
  ☆16Updated last year
• Smattr / rumur
  yet another model checker
  ☆20Updated 2 weeks ago
• KenBroTech / SENG207-PROGRAMMING-FOR-ENGINEERS-MATERIALS
  This is the course material for SENG207 Programming for Engineers.
  ☆13Updated 2 years ago
• hexdae / toolchains_riscv_gnu
  RISC-V bazel toolchains for GCC compilation
  ☆12Updated last year
• chipsalliance / f4pga-examples
  Example designs showing different ways to use F4PGA toolchains.
  ☆277Updated last year
• BerkeleyHCI / PolymorphicBlocks
  A work-in-progress board-level hardware description language (HDL) providing design automation through generators and block polymorphism.
  ☆85Updated this week