Alternatives and similar repositories for logicng-rs:

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

• ZettaScaleLabs / zenoh-flow-examples
  Zenoh Flow examples
  ☆16Updated last year
• eclipse-opendut / opendut
  Test Electronic Control Units around the world in a transparent network.
  ☆28Updated this week
• eclipse-openxilenv / openxilenv
  openxilenv
  ☆12Updated this week
• eclipse-ankaios / ankaios
  Eclipse Ankaios provides workload and container orchestration for automotive High Performance Computing (HPC) software.
  ☆74Updated this week
• INTO-CPS-Association / maestro
  Maestro a Co-Simulation Orchestration Engine
  ☆20Updated last month
• ferrous-systems / mdslides
  A tool for turning mdbooks into slide shows
  ☆14Updated 2 months ago
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆141Updated 5 months ago
• eclipse-sprotty / sprotty-server
  Server implementation for the Sprotty diagramming framework
  ☆24Updated 5 months 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
• wasimoff / wasimoff
  Computation offloading is a technique to circumvent device restrictions and bring novel, computationally-intensive applications to a hete…
  ☆11Updated this week
• eclipse-leda / leda-contrib-self-update-agent
  Eclipse Leda - Self Update Agent (SUA)
  ☆13Updated last year
• etas / ascet-workflows-demo
  Demonstration of how to use ASCET-DEVELOPER in a CI/CD pipeline.
  ☆11Updated 3 months ago
• DSD-DBS / capella-dockerimages
  Collection of Docker images for MBSE. Most images are based on Eclipse Capella.
  ☆20Updated this week
• au-ts / sddf
  A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…
  ☆31Updated this week
• eclipse-sprotty / sprotty-vscode
  sprotty-vscode
  ☆58Updated 2 months ago
• INTO-CPS-Association / FMI-VDM-Model
  A formal model of the FMI specification in VDM
  ☆14Updated 3 months ago
• vectorgrp / sil-kit-adapters-qemu
  A collection of software to connect QEMU images to the Vector SIL Kit
  ☆14Updated last month
• eclipse-epsilon / epsilon
  Epsilon is a family of Java-based scripting languages for automating common model-based software engineering tasks, such as code generati…
  ☆72Updated last week
• eclipse-tractusx / puris
  Predictive Unit Real-Time Information Service (PURIS) for Short Term Demand and Capacity Management
  ☆13Updated this week
• elisa-tech / BASIL
  Software Quality Management Tool
  ☆29Updated last week
• boschglobal / automotive-bus-schema
  Automotive Bus Schema for data exchange between simulation models.
  ☆4Updated 2 months ago
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated this week
• HyperAST / HyperAST
  Temporal code analyses at scale
  ☆28Updated 3 weeks ago
• GaloisInc / HARDENS
  Repository for the HARDENS project
  ☆23Updated 4 months ago
• Open-MBEE / mcf
  The next generation MBEE (4.0 Execubots) microservices and API hub. This repository hosts MBEE Core Framework (MCF) which will serve a pa…
  ☆14Updated last year
• eclipse-score / score
  Score project main repository
  ☆25Updated this week
• jelmer / awesome-merge-drivers
  List of great merge drivers for git and other version control tools
  ☆25Updated 5 months ago
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 3 years ago
• eclipse-kanto / kanto
  Kanto
  ☆20Updated 5 months ago
• DSD-DBS / capella-collab-manager
  A web app for collaboration on Capella (MBSE) projects
  ☆26Updated this week