Alternatives and similar repositories for logicng-rs:

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

• INTO-CPS-Association / FMI-VDM-Model
  A formal model of the FMI specification in VDM
  ☆14Updated 2 weeks ago
• ZettaScaleLabs / zenoh-flow-examples
  Zenoh Flow examples
  ☆16Updated last year
• INTO-CPS-Association / maestro
  Maestro a Co-Simulation Orchestration Engine
  ☆20Updated this 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
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆137Updated 2 months ago
• eclipse-sprotty / sprotty-server
  Server implementation for the Sprotty diagramming framework
  ☆24Updated 2 months ago
• 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…
  ☆26Updated this week
• modelica / ssp-standard.org
  Website of System Structure and Parameterization (SSP) of components for virtual system design standard
  ☆14Updated 2 weeks ago
• firedrakeproject / glpk
  GNU Linear Programming Kit
  ☆46Updated 4 years ago
• UST-EDMM / edmm
  Tooling for the Essential Deployment Metamodel
  ☆11Updated last year
• version-fox / vfox-java
  ☕️Java plugin for vfox
  ☆17Updated 8 months ago
• winery / winery
  Eclipse Winery project
  ☆48Updated 2 months ago
• eclipse-agileuml / agileuml
  AgileUML tools for MDE using UML
  ☆17Updated this week
• eclipse-epsilon / epsilon
  Epsilon is a family of Java-based scripting languages for automating common model-based software engineering tasks, such as code generati…
  ☆69Updated this week
• apache / creadur-rat
  Apache Creadur RAT - Release Audit Tool
  ☆30Updated this week
• StuPro-TOSCAna / TOSCAna
  TOSCA transformer build by students at the University of Stuttgart
  ☆10Updated 4 years ago
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆42Updated 9 months ago
• ibmruntimes / Semeru-Runtimes
  Issue repo for all things IBM Semeru Runtimes
  ☆15Updated 2 months ago
• MartinWitt / laughing-train
  A code refactoring tool for java created with jgit and spoon for small diffs.
  ☆18Updated this week
• eclipse-sprotty / sprotty-vscode
  sprotty-vscode
  ☆58Updated last month
• MDEGroup / MDEForge
  MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…
  ☆22Updated 2 years ago
• modelica / fmi-guides
  Repo for "FMI Best Practice Guide for Implementers" (and maybe more guides)
  ☆19Updated this week
• Kerosene-Labs / kindling
  The fuel that'll ignite your application. A programmable TLS HTTP/1.1 server with no dependencies.
  ☆16Updated last month
• RubixDev / typst-i-figured
  Configurable figure numbering per section in Typst.
  ☆23Updated last year
• maestro-os / blimp
  Maestro operating system's package manager
  ☆22Updated 3 weeks ago
• NASA-SW-VnV / AdaStress.jl
  Reinforcement learning framework to find and analyze the likeliest failures of a system under test.
  ☆12Updated 9 months ago
• brunoborges / toml-schema
  ☆67Updated 2 years ago
• beehive-lab / levelzero-jni
  Intel LevelZero JNI library for TornadoVM
  ☆12Updated 4 months ago
• lsp-and-implementation / language-server
  ☆20Updated 2 years ago