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
  ☆274Updated this week
• lf-lang / playground-lingua-franca
  Try Lingua Franca now!
  ☆20Updated 3 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
  ☆19Updated this week
• flokli / pynq
  Tooling to use the Pynq Board somewhat nicely
  ☆13Updated 2 years ago
• pacti-org / pacti
  A package for compositional system analysis and design
  ☆25Updated 2 months ago
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆113Updated 2 weeks ago
• RoboJackets / electrical-training
  RoboJackets Electrical Training Program
  ☆28Updated 3 weeks ago
• thomasjupe / NiagaraN4BQLQueries
  A collection of BQL History Queries which can be used to interrogate station components within a Tridium Niagara N4 Framework.
  ☆19Updated 3 months ago
• CSI-SCT-SB / EST102_Programming-in-C-S2-
  A Repository for Sharing Programming in C Codes (S2)
  ☆11Updated 2 years ago
• IDA-TUBS / pycpa
  Compositional Performance Analysis in Python
  ☆19Updated 4 years ago
• NASA-SW-VnV / fret
  A framework for the elicitation, specification, formalization and analysis of requirements.
  ☆379Updated 4 months ago
• Smattr / rumur
  yet another model checker
  ☆20Updated 3 weeks ago
• BerkeleyHCI / PolymorphicBlocks
  A work-in-progress board-level hardware description language (HDL) providing design automation through generators and block polymorphism.
  ☆86Updated 2 weeks ago
• machineware-gmbh / viper
  An Eclipse 4 RCP based GUI to interact with SystemC simulators
  ☆10Updated 2 weeks ago
• strictdoc-project / strictdoc
  Software for technical documentation and requirements management.
  ☆216Updated this week
• TM90 / awesome-hwd-tools
  A curated list of awesome open source hardware design tools
  ☆84Updated 3 months ago
• GaloisInc / HARDENS
  Repository for the HARDENS project
  ☆26Updated 10 months ago
• aperloff / vivado-docker
  Vivado on Docker
  ☆34Updated 4 years ago
• ghdl / ghdl-language-server
  Language server based on ghdl
  ☆99Updated 4 months ago
• getinstachip / vpm
  Verilog package manager written in Rust
  ☆143Updated last year
• phwl / docker-vivado
  ☆27Updated 3 years ago
• jgcoded / BuDDy
  BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files
  ☆14Updated 8 years ago
• automaticdai / realtime-embedded-conferences
  Tracking conferences in Real-time Embedded Systems, Design Automation, Cyber-Pyhsical Systems and Robotics!
  ☆121Updated 2 weeks ago
• uclid-org / uclid
  UCLID5: formal modeling, verification, and synthesis of computational systems
  ☆149Updated 3 months ago
• ros-acceleration / community
  ROS 2 Hardware Acceleration Working Group community governance model & list of projects
  ☆65Updated last year
• chipsalliance / f4pga
  FOSS Flow For FPGA
  ☆407Updated 9 months ago
• 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…
  ☆20Updated 4 months ago
• mitulmanish / Java-assignments
  You are required to implement a basic Java program using Java (SE 5.0 or later). This assignment is designed to help you: 1. Practise yo…
  ☆12Updated 4 years ago
• n7space / asn1-pusc-lib
  ASN.1 implementation of the PUS-C ECSS standard using ACN encoding.
  ☆16Updated last year