Alternatives and similar repositories for logicng-rs

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

• vectorgrp / bazel-rules
  Vector Bazel Rules and Toolchains
  ☆13Updated last week
• eclipse-opendut / opendut
  Test Electronic Control Units around the world in a transparent network.
  ☆33Updated this week
• eclipse-kiso-testing / kiso-testing-python-uds
  kiso-testing-python-uds
  ☆10Updated 3 months ago
• vectorgrp / sil-kit-adapters-qemu
  A collection of software to connect QEMU images to the Vector SIL Kit
  ☆14Updated last month
• INTO-CPS-Association / FMI-VDM-Model
  A formal model of the FMI specification in VDM
  ☆14Updated 4 months ago
• eclipse-openxilenv / openxilenv
  openxilenv
  ☆16Updated 3 weeks ago
• CSA-FEDERATE / Proposed-BuildingBlocks
  Welcome to the FEDERATE Building Block (BB) Repository! This repository contains structured descriptions of Building Blocks (BBs) that a…
  ☆14Updated last week
• INTO-CPS-Association / maestro
  Maestro a Co-Simulation Orchestration Engine
  ☆22Updated 2 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 last month
• eclipse-ankaios / ankaios
  Eclipse Ankaios provides workload and container orchestration for embedded devices like automotive HPCs.
  ☆113Updated this week
• eclipse-tractusx / puris
  Predictive Unit Real-Time Information Service (PURIS) for Short Term Demand and Capacity Management
  ☆18Updated 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…
  ☆24Updated 7 months ago
• eclipse-tractusx / industry-core-hub
  Eclipse Tractus-X Industry Core Hub [IC-Hub] - The KIT/Use Case Speedway
  ☆15Updated last week
• dbinfrago / capella-dockerimages
  Collection of Docker images to run Capella, Papyrus, Eclipse or pure::variants in a container, either headless or with GUI.
  ☆20Updated last week
• vectorgrp / ci-siltest-demo
  ☆12Updated this week
• INTO-CPS-Association / into-cps-application
  The front-end of the INTO-CPS tool chain
  ☆21Updated last month
• modelica / ssp-ls-traceability
  SSP Layered Standard Traceability
  ☆14Updated 2 months ago
• COVESA / uservices
  uServices - Open Vehicle Interfaces
  ☆13Updated last year
• nxp-auto-linux / meta-alb
  Automotive Linux BSP Yocto Layer
  ☆10Updated last month
• vectorgrp / xcp-lite
  XCP for Rust
  ☆21Updated last week
• modelica / fmi-guides
  Repo for "FMI Best Practice Guide for Implementers" (and maybe more guides)
  ☆22Updated 4 months ago
• vectorgrp / sil-kit-fmu-importer
  C#-based FMU Importer for SIL Kit
  ☆19Updated 4 months ago
• ni / grpc-teststand-api
  Early Access Release of gRPC client and server examples for the TestStand API
  ☆19Updated 2 years ago
• eclipse-kiso-testing / kiso-testing
  ☆42Updated last month
• panorama-research / mobstr-dataset
  The MobSTr dataset provides artifacts that demonstrate Model-based Safety Assurance and Traceability for a safety-critical automotive sys…
  ☆10Updated 3 years ago
• bmwcarit / ramses-logic
  A scripting and animation runtime for the RAMSES rendering ecosystem
  ☆10Updated last year
• TUMFTM / motorcycle_model
  A multibody code for motorcycle simulation
  ☆14Updated 3 months ago
• eclipse-score / score
  Score project main repository
  ☆80Updated this week
• w3c / automotive-viss2
  ☆11Updated last year
• eclipse-velocitas / vehicle-app-python-template
  Vehicle App template for Python
  ☆19Updated 4 months ago