lf-lang / lingua-franca

Related projects ⓘ

Alternatives and complementary repositories for lingua-franca

• IDA-TUBS / pycpa
  Compositional Performance Analysis in Python
  ☆17Updated 3 years ago
• lf-lang / playground-lingua-franca
  Try Lingua Franca now!
  ☆16Updated 3 weeks ago
• lf-lang / reactor-c
  A reactor runtime written in C
  ☆12Updated this week
• tacle / tacle-bench
  TACLe Benchmarks
  ☆41Updated 2 weeks ago
• uclid-org / uclid
  UCLID5: formal modeling, verification, and synthesis of computational systems
  ☆136Updated last week
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆101Updated last year
• jahierwan / lustre-examples
  Some Lustre program examples
  ☆21Updated 5 years ago
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆23Updated this week
• ftsrg / gamma
  An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
  ☆30Updated this week
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆86Updated this week
• decyphir / breach
  ☆53Updated 5 months ago
• brandenburg / schedcat
  The Schedulability Test Collection And Toolkit
  ☆38Updated 4 years ago
• calyxir / calyx
  Intermediate Language (IL) for Hardware Accelerator Generators
  ☆499Updated this week
• NASA-SW-VnV / fret
  A framework for the elicitation, specification, formalization and understanding of requirements.
  ☆300Updated last week
• fabianschuiki / llhd
  Low Level Hardware Description — A foundation for building hardware design tools.
  ☆396Updated 2 years ago
• boschresearch / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆72Updated 2 years ago
• timed-c / ktc
  KTH's Timed C compiler
  ☆19Updated 2 years ago
• janestreet / hardcaml
  Hardcaml is an OCaml library for designing hardware.
  ☆670Updated this week
• eclipse-syson / syson
  SysON: web-based graphical modelers for SysMLv2. Please visit https://mbse-syson.org and contact Obeo https://www.obeosoft.com/en/contact…
  ☆107Updated this week
• cucapra / filament
  Fearless hardware design
  ☆161Updated this week
• dreal / dreal4
  Automated Reasoning in Nonlinear Theories of Reals
  ☆153Updated 5 months ago
• rems-project / sail
  Sail architecture definition language
  ☆621Updated this week
• fabianschuiki / moore
  A hardware compiler based on LLHD and CIRCT
  ☆250Updated last year
• doganulus / reelay
  A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
  ☆33Updated 7 months ago
• NXP / dds-tsn
  Example project of DDS-TSN integration
  ☆111Updated last year
• frwang96 / verik
  Verik toolchain
  ☆41Updated last year
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆157Updated last month
• cucapra / dahlia
  Time-sensitive affine types for predictable hardware generation
  ☆134Updated 4 months ago
• tum-ei-eda / etiss
  Extendable Translating Instruction Set Simulator
  ☆29Updated 3 weeks ago
• embench / embench-iot
  The main Embench repository
  ☆258Updated 2 months ago