Alternatives and similar repositories for emoflon-ibex:

Users that are interested in emoflon-ibex are comparing it to the libraries listed below

• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆14Updated 2 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• uuverifiers / autosat
  Constructing automata with SAT solvers
  ☆8Updated 6 years ago
• bpinaud / Porgy
  Visual graph rewriting platform
  ☆10Updated 9 months ago
• rewriting / tom
  ☆34Updated 4 years ago
• JUrban / MPTP2
  ☆19Updated 7 years ago
• usethesource / clair
  C Language Analysis in Rascal
  ☆25Updated 2 months ago
• breandan / markovian
  🎲 A Kotlin DSL for probabilistic programming.
  ☆12Updated 2 years ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated 9 months ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• almondtools / rexlex
  Regular Expressions and Lexing with DFAs
  ☆9Updated 8 months ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆25Updated 7 months ago
• potassco / clingoLP
  Theory propagator for linear programming using clingo theory language and interface.
  ☆10Updated 3 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated 10 months ago
• SparseLinearAlgebra / spbla
  Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations
  ☆14Updated 2 years ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago
• dangtv / BIRDS
  Bidirectional transformation for Relational view update Datalog-based Strategies
  ☆21Updated last year
• GaloisInc / pirate
  Main repository for the Galois/Two Six Pirate Project for DARPA GAPS
  ☆4Updated 3 years ago
• wholeplatform / whole
  Whole Platform Language Workbench
  ☆27Updated 7 months ago
• metaborg / strategoxt
  The Stratego program transformation language
  ☆31Updated 5 months ago
• FormalLanguageConstrainedPathQuerying / CFPQ_Data
  Graphs and grammars for Context-Free Path Querying algorithms evaluation.
  ☆10Updated 4 months ago
• sireum / v3
  Sireum v3
  ☆10Updated last year
• gsdlab / clafer
  Clafer is a lightweight modeling language
  ☆45Updated last year
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆31Updated last month
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• fjarri / peval
  Partial evaluation of Python code
  ☆20Updated last year
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 4 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆15Updated 2 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 11 years ago