Alternatives and similar repositories for intellij-datalog:

Users that are interested in intellij-datalog are comparing it to the libraries listed below

• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 3 years ago
• jdaridis / souffle-lsp-plugin
  Soufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin
  ☆11Updated last year
• plast-lab / doop
  The official repo of Doop, the declarative pointer analysis framework.
  ☆169Updated last month
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆99Updated 4 years ago
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆66Updated 2 weeks ago
• Generative-Program-Analysis / GenSym
  A high-performance, parallel, compilation-based symbolic execution engine
  ☆126Updated this week
• uuverifiers / ostrich
  An SMT Solver for string constraints
  ☆37Updated this week
• jayhorn / jayhorn
  Static checker for Java
  ☆84Updated this week
• eth-sri / fastsmt
  Learning to Solve SMT Formulas Fast
  ☆84Updated 7 months ago
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆79Updated 3 months ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆61Updated 6 months ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆155Updated 2 months ago
• opalj / opal
  ☆53Updated last week
• static-analysis-engineering / codehawk
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆66Updated last month
• julianthome / smtlibv2-grammar
  ANTLR SMT-LIB v2 Grammar
  ☆21Updated 3 years ago
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆206Updated this week
• 95616ARG / pikos_popl2020
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Updated 4 years ago
• testsmt / yinyang
  A fuzzing framework for SMT solvers
  ☆185Updated last year
• uuverifiers / eldarica
  The Eldarica model checker
  ☆82Updated this week
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆33Updated 2 weeks ago
• QilinPTA / Qilin
  Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
  ☆129Updated 3 weeks ago
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆52Updated 5 months ago
• Practical-Formal-Methods / queryFuzz
  QueryFuzz implements a metamorphic testing approach to test Datalog engines.
  ☆36Updated 3 years ago
• seahorn / clam
  Static Analyzer for LLVM bitcode based on Abstract Interpretation
  ☆276Updated 8 months ago
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆108Updated this week
• contract-ace / smartace
  ☆14Updated 3 years ago
• codersguild / Software-Analysis-PAVT
  Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…
  ☆37Updated last year
• CROSSINGTUD / SPDS
  Efficient and Precise Pointer-Tracking Data-Flow Framework
  ☆41Updated 3 years ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆65Updated last year
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆41Updated 6 months ago