Alternatives and similar repositories for logicng-rs

Users that are interested in logicng-rs are comparing it to the libraries listed below

• eclipse-opendut / opendut
  Test Electronic Control Units around the world in a transparent network.
  ☆31Updated last week
• DLR-FT / a653rs
  Arinc653 abstraction library for hypervisor independent partition programming
  ☆12Updated 8 months ago
• ZettaScaleLabs / zenoh-flow-examples
  Zenoh Flow examples
  ☆17Updated last year
• vectorgrp / bazel-rules
  Vector Bazel Rules and Toolchains
  ☆11Updated last month
• eclipse-openxilenv / openxilenv
  openxilenv
  ☆14Updated this week
• nxp-auto-linux / meta-alb
  Automotive Linux BSP Yocto Layer
  ☆9Updated last month
• eclipse-ankaios / ankaios
  Eclipse Ankaios provides workload and container orchestration for automotive High Performance Computing (HPC) software.
  ☆78Updated last week
• INTO-CPS-Association / FMI-VDM-Model
  A formal model of the FMI specification in VDM
  ☆14Updated 6 months ago
• vectorgrp / sil-kit-adapters-qemu
  A collection of software to connect QEMU images to the Vector SIL Kit
  ☆14Updated 4 months ago
• modelica / fmi-guides
  Repo for "FMI Best Practice Guide for Implementers" (and maybe more guides)
  ☆20Updated this week
• eclipse-leda / leda-contrib-self-update-agent
  Eclipse Leda - Self Update Agent (SUA)
  ☆13Updated last year
• DSD-DBS / capella-dockerimages
  Collection of Docker images to run Capella, Papyrus, Eclipse or pure::variants in a container, either headless or with GUI.
  ☆20Updated this week
• vectorgrp / sil-kit-adapters-tap
  A collection of software to connect TAP devices under Linux and Windows to the Vector SIL Kit
  ☆11Updated 3 months ago
• eclipse-tractusx / puris
  Predictive Unit Real-Time Information Service (PURIS) for Short Term Demand and Capacity Management
  ☆14Updated last week
• modelica / ssp-ls-traceability
  Prototyping of an SSP Traceability Layered Standard
  ☆13Updated this week
• INTO-CPS-Association / maestro
  Maestro a Co-Simulation Orchestration Engine
  ☆20Updated this week
• grouperenault / fmu_manipulation_toolbox
  FMU Manipulation Toolbox is a python library and applications which modify or create Functional Mock-up Units (FMU) without recompilati…
  ☆16Updated this week
• eclipse-velocitas / vehicle-app-cpp-sdk
  vehicle-app-cpp-sdk
  ☆12Updated this week
• eclipse-leda / leda
  Documentation - Eclipse Leda provides a Yocto-based build setup for SDV.EDGE components
  ☆18Updated last year
• INTO-CPS-Association / into-cps-application
  The front-end of the INTO-CPS tool chain
  ☆21Updated 3 weeks ago
• eclipse-tractusx / portal-backend
  Portal Backend
  ☆11Updated this week
• eclipse-sdv-blueprints / fleet-management
  A close to real-life showcase for truck fleet management where trucks run an SDV software stack so that logistics fleet operators can man…
  ☆21Updated 2 months ago
• vectorgrp / sil-kit-fmu-importer
  C#-based FMU Importer for SIL Kit
  ☆12Updated 3 weeks ago
• modelica / Modelica-Compliance
  A semantics compliance suite for the Modelica language
  ☆18Updated 5 months ago
• DSD-DBS / py-capellambse
  A Python 3 headless implementation of the Capella modeling tool.
  ☆57Updated this week
• vectorgrp / xcp-lite
  XCP for Rust
  ☆16Updated this week
• eclipse-sprotty / sprotty-server
  Server implementation for the Sprotty diagramming framework
  ☆24Updated 8 months ago
• elisa-tech / BASIL
  Software Quality Management Tool
  ☆32Updated 3 weeks ago
• ultimate-comparisons / ultimate-comparison-framework
  The base of all ultimate-comparisons. Follow the README and create your own ultimate comparison.
  ☆17Updated 4 years ago
• viproma / coral
  Distributed co-simulation software
  ☆18Updated 3 years ago