Alternatives and similar repositories for lingua-franca

Users that are interested in lingua-franca are comparing it to the libraries listed below

• xronos-inc / xronos
  Xronos revolutionizes robotics software — enabling reproducible behavior, timing control, and rapid root cause analysis through built-in …
  ☆14Updated 2 weeks ago
• lf-lang / playground-lingua-franca
  Try Lingua Franca now!
  ☆20Updated this week
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆109Updated last year
• GaloisInc / HARDENS
  Repository for the HARDENS project
  ☆25Updated 6 months ago
• IDA-TUBS / pycpa
  Compositional Performance Analysis in Python
  ☆18Updated 4 years ago
• strictdoc-project / strictdoc
  Software for technical documentation and requirements management.
  ☆190Updated this week
• cucapra / filament
  Fearless hardware design
  ☆176Updated last month
• cucapra / dahlia
  Time-sensitive affine types for predictable hardware generation
  ☆143Updated 11 months ago
• lowRISC / sonata-system
  A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI
  ☆45Updated this week
• fabianschuiki / llhd
  Low Level Hardware Description — A foundation for building hardware design tools.
  ☆417Updated 3 years ago
• jahierwan / lustre-examples
  Some Lustre program examples
  ☆21Updated 6 years ago
• mit-plv / koika
  A core language for rule-based hardware design 🦑
  ☆156Updated 2 weeks ago
• uclid-org / uclid
  UCLID5: formal modeling, verification, and synthesis of computational systems
  ☆145Updated 3 months ago
• Systems-Modeling / SysML-v2-Pilot-Implementation
  Proof-of-concept pilot implementation of the SysML v2 textual notation and visualization
  ☆156Updated this week
• rems-project / sail
  Sail architecture definition language
  ☆747Updated this week
• fabianschuiki / moore
  A hardware compiler based on LLHD and CIRCT
  ☆260Updated last year
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆100Updated this week
• bmw-software-engineering / trlc
  Treat Requirements Like Code
  ☆74Updated 3 months ago
• tum-ei-eda / etiss
  Extendable Translating Instruction Set Simulator
  ☆32Updated 2 months ago
• luigicapogrosso / HermesBDD
  Official implementation of the paper "HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package" accepted @ DDECS 2023.
  ☆11Updated 6 months ago
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆103Updated last week
• riscv / riscv-cheri
  This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory prot…
  ☆72Updated this week
• phanrahan / magma
  magma circuits
  ☆261Updated 8 months ago
• DSD-DBS / py-capellambse
  A Python 3 headless implementation of the Capella modeling tool.
  ☆57Updated this week
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆45Updated 3 weeks ago
• intel / device-modeling-language
  ☆101Updated last week
• timed-c / ktc
  KTH's Timed C compiler
  ☆19Updated 3 years ago
• calyxir / calyx
  Intermediate Language (IL) for Hardware Accelerator Generators
  ☆535Updated this week
• vectorgrp / sil-kit
  Vector SIL Kit – Open-Source Library for Connecting Software-in-the-Loop Environments
  ☆131Updated 2 weeks ago
• ymherklotz / vericert
  A formally verified high-level synthesis tool based on CompCert and written in Coq.
  ☆92Updated last year