Alternatives and similar repositories for atompm:

Users that are interested in atompm are comparing it to the libraries listed below

• cea-hpc / NabLab
  Full-fledged industrial environment for scientific computing and High Performance Computing
  ☆18Updated last year
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆30Updated last year
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 3 years ago
• alviano / wasp
  ☆20Updated 4 months ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆57Updated 4 months ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆45Updated 4 months ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆35Updated last year
• rewriting / tom
  ☆34Updated 4 years ago
• potassco / clingoLP
  Theory propagator for linear programming using clingo theory language and interface.
  ☆10Updated 3 years ago
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 2 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆74Updated last year
• fslivovsky / qute
  Qute: a dependency learning QBF solver.
  ☆12Updated 3 months ago
• usethesource / clair
  C Language Analysis in Rascal
  ☆25Updated 4 months ago
• fadoss / maude-bindings
  Language bindings for Maude
  ☆21Updated 2 months ago
• potassco / clingcon
  ⛓️ Extension of clingo to handle constraints over integers
  ☆25Updated 2 months ago
• eclipse-xsemantics / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆32Updated last year
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated 5 months ago
• uuverifiers / autosat
  Constructing automata with SAT solvers
  ☆8Updated 6 years ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆23Updated last month
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated 7 months ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• lip6 / libDDD
  Library for Data Decision Diagrams and Set Decision Diagrams
  ☆14Updated 7 months ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆45Updated last month
• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆17Updated this week
• haslab / Electrum2
  Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …
  ☆49Updated 2 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 8 months ago
• kframework / java-semantics
  The semantics of Java in K
  ☆19Updated 3 years ago
• mbeddr / mbeddr.core
  The mbeddr core. An extensible C
  ☆228Updated this week
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated last year