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
  ☆263Updated this week
• lf-lang / playground-lingua-franca
  Try Lingua Franca now!
  ☆19Updated last week
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆109Updated last year
• strictdoc-project / strictdoc
  Software for technical documentation and requirements management.
  ☆198Updated this week
• lf-lang / reactor-c
  A reactor runtime written in C
  ☆19Updated last week
• ssoelvsten / buddy
  BuDDy BDD package (with CMake support)
  ☆13Updated last year
• jahierwan / lustre-examples
  Some Lustre program examples
  ☆22Updated last month
• pacti-org / pacti
  A package for compositional system analysis and design
  ☆25Updated 3 weeks ago
• n7space / asn1-pusc-lib
  ASN.1 implementation of the PUS-C ECSS standard using ACN encoding.
  ☆16Updated last year
• GaloisInc / HARDENS
  Repository for the HARDENS project
  ☆25Updated 8 months ago
• timed-c / ktc
  KTH's Timed C compiler
  ☆19Updated 3 years ago
• Foadsf / awsomeEngSci
  Curated list of awsome Free and Open Source Software for engineering and science
  ☆36Updated 6 years ago
• machineware-gmbh / viper
  An Eclipse 4 RCP based GUI to interact with SystemC simulators
  ☆8Updated last week
• slaclab / rogue
  SLAC Python Based Hardware Abstraction & Data Acquisition System
  ☆45Updated this week
• pretis / flexpret
  A time-predictable processor for mixed-criticality systems
  ☆59Updated 9 months ago
• ssoelvsten / bdd-benchmark
  Benchmarking Suite for BDD packages
  ☆17Updated last week
• reactive-systems / MCHyper
  A hardware model checker for hyperproperties
  ☆18Updated last year
• Gigantua / Espresso
  Espresso heuristic logic minimizer made C++20 Windows 10 compatible - University of California, Berkeley
  ☆54Updated last year
• BerkeleyHCI / PolymorphicBlocks
  A work-in-progress board-level hardware description language (HDL) providing design automation through generators and block polymorphism.
  ☆84Updated this week
• ftsrg / gamma
  An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
  ☆31Updated this week
• NVlabs / Cypress
  ☆25Updated 5 months ago
• najaeda / naja-verilog
  A standalone structural (gate-level) verilog parser
  ☆38Updated 3 weeks ago
• NASA-SW-VnV / fret
  A framework for the elicitation, specification, formalization and analysis of requirements.
  ☆369Updated 2 months ago
• sscit / rel
  A domain specific language for requirements engineering. Besides the DSL, the REL framework contains Python integration, and a Visual Stu…
  ☆10Updated 3 years ago
• CTSRD-CHERI / Toooba
  RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT
  ☆32Updated last week
• microsoft / Elastic-Silicon-Interconnect
  ESI is an FPGA connectivity system. It uses typed, latency-insensitive on-chip connections between ESI-enabled modules. It also bridges o…
  ☆34Updated 4 years ago
• hbourbouh / lm_challenges
  Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers
  ☆12Updated 5 years ago
• orestesmas / pycirkuit
  PyCirkuit is a GUI/CLI for Dwight Aplevich's "Circuit Macros", which is a set of macros for drawing high-quality circuits and line diagra…
  ☆31Updated 2 years ago
• TM90 / awesome-hwd-tools
  A curated list of awesome open source hardware design tools
  ☆81Updated last month
• Smattr / rumur
  yet another model checker
  ☆20Updated this week