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.
  ☆32Updated last week
• vectorgrp / bazel-rules
  Vector Bazel Rules and Toolchains
  ☆12Updated this week
• eclipse-kiso-testing / kiso-testing-python-uds
  kiso-testing-python-uds
  ☆10Updated last year
• INTO-CPS-Association / FMI-VDM-Model
  A formal model of the FMI specification in VDM
  ☆14Updated last week
• eclipse-openxilenv / openxilenv
  openxilenv
  ☆14Updated last week
• eclipse-ankaios / ankaios
  Eclipse Ankaios provides workload and container orchestration for automotive High Performance Computing (HPC) software.
  ☆78Updated this week
• ZettaScaleLabs / zenoh-flow-examples
  Zenoh Flow examples
  ☆17Updated last year
• eclipse-tractusx / industry-core-hub
  Eclipse Tractus-X Industry Core Hub [IC-Hub] - The KIT/Use Case Speedway
  ☆13Updated last week
• eclipse-tractusx / portal-backend
  Portal Backend
  ☆12Updated last week
• vectorgrp / sil-kit-adapters-qemu
  A collection of software to connect QEMU images to the Vector SIL Kit
  ☆14Updated last week
• etas / ascet-workflows-demo
  Demonstration of how to use ASCET-DEVELOPER in a CI/CD pipeline.
  ☆2Updated 7 months ago
• eclipse-tractusx / puris
  Predictive Unit Real-Time Information Service (PURIS) for Short Term Demand and Capacity Management
  ☆15Updated this week
• vectorgrp / ci-siltest-demo
  ☆11Updated 2 weeks ago
• 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 3 months ago
• vectorgrp / sil-kit-adapters-tap
  A collection of software to connect TAP devices under Linux and Windows to the Vector SIL Kit
  ☆11Updated 3 weeks ago
• INTO-CPS-Association / maestro
  Maestro a Co-Simulation Orchestration Engine
  ☆20Updated 3 weeks ago
• eclipse-kiso-testing / kiso-testing
  ☆42Updated last week
• modelica / ssp-ls-traceability
  Prototyping of an SSP Traceability Layered Standard
  ☆13Updated last week
• vectorgrp / sil-kit-fmu-importer
  C#-based FMU Importer for SIL Kit
  ☆12Updated 2 weeks ago
• nxp-auto-linux / meta-alb
  Automotive Linux BSP Yocto Layer
  ☆9Updated 2 months ago
• eclipse-uprotocol / up-spec
  uProtocol Specifications
  ☆39Updated last week
• ultimate-comparisons / ultimate-comparison-framework
  The base of all ultimate-comparisons. Follow the README and create your own ultimate comparison.
  ☆17Updated 4 years ago
• INTO-CPS-Association / into-cps-application
  The front-end of the INTO-CPS tool chain
  ☆21Updated last month
• modelica / fmi-guides
  Repo for "FMI Best Practice Guide for Implementers" (and maybe more guides)
  ☆20Updated last 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-python-template
  Vehicle App template for Python
  ☆18Updated last month
• elisa-tech / BASIL
  Software Quality Management Tool
  ☆33Updated last week
• COVESA / vehicle-edge
  Vehicle Edge is a software stack, which acts as an interface between vehicle specific data sources and vehicle agnostic applications
  ☆17Updated 3 years ago
• Ecos-platform / ecos
  A simple, fast and easy to use co-simulation engine.
  ☆12Updated last month
• eclipse-velocitas / vehicle-app-cpp-sdk
  vehicle-app-cpp-sdk
  ☆12Updated 3 weeks ago