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 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
  ☆19Updated this week
• NASA-SW-VnV / fret
  A framework for the elicitation, specification, formalization and analysis of requirements.
  ☆400Updated 7 months ago
• GaloisInc / HARDENS
  Repository for the HARDENS project
  ☆26Updated last year
• pacti-org / pacti
  A package for compositional system analysis and design
  ☆27Updated 6 months ago
• strictdoc-project / strictdoc
  Software for technical documentation and requirements management.
  ☆245Updated this week
• IDA-TUBS / pycpa
  Compositional Performance Analysis in Python
  ☆21Updated 5 years ago
• preesm / preesm
  Parallel and Real-time Embedded Executives Scheduling Method
  ☆37Updated this week
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆125Updated 2 months ago
• ros-acceleration / community
  ROS 2 Hardware Acceleration Working Group community governance model & list of projects
  ☆67Updated 2 years ago
• flokli / pynq
  Tooling to use the Pynq Board somewhat nicely
  ☆13Updated 3 years ago
• ssoelvsten / buddy
  BuDDy BDD package (with CMake support)
  ☆15Updated last year
• chipsalliance / f4pga
  FOSS Flow For FPGA
  ☆424Updated last year
• jgcoded / BuDDy
  BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files
  ☆14Updated 8 years ago
• Smattr / rumur
  yet another model checker
  ☆20Updated 4 months ago
• antmicro / kenning
  ☆87Updated this week
• ndm736 / ME433_2021
  Repo for ME433 Advanced Mechatronics at Northwestern University in Spring 2021
  ☆10Updated 4 years ago
• jahierwan / lustre-examples
  Some Lustre program examples
  ☆22Updated 7 months ago
• cuddorg / cudd
  CUDD Decision Diagram Package
  ☆151Updated last month
• lowRISC / sonata-system
  A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI
  ☆46Updated last month
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆103Updated this week
• eclipse-zenoh / zenoh-pico
  Eclipse zenoh for pico devices
  ☆216Updated this week
• Xilinx / meta-xilinx
  Collection of Yocto Project layers to enable AMD Xilinx products
  ☆168Updated last month
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated 3 weeks ago
• tacle / tacle-bench
  TACLe Benchmarks
  ☆55Updated 3 months ago
• Xilinx / meta-xilinx-tools
  Yocto Project layer enables AMD Xilinx tools related metadata for MicroBlaze, Zynq, ZynqMP and Versal devices.
  ☆66Updated 2 months ago
• asyncvlsi / act
  ACT hardware description language and core tools.
  ☆123Updated 2 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
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆181Updated this week