Alternatives and similar repositories for souffle-lsp-plugin

Users that are interested in souffle-lsp-plugin are comparing it to the libraries listed below

• LFrobeen / intellij-datalog
  ☆32Updated 3 years ago
• langston-barrett / souffle-lint
  A linter for Soufflé Datalog
  ☆14Updated last year
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆69Updated last month
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 4 years ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆66Updated 2 years ago
• Generative-Program-Analysis / GenSym
  A high-performance, parallel, compilation-based symbolic execution engine
  ☆130Updated last week
• Consensys / evm-dafny
  An EVM interpreter in Dafny
  ☆129Updated 8 months ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago
• DavePearce / LeanEVM
  A toy implementation of the EVM in Lean4.
  ☆10Updated last year
• kino-mc / rsmt2
  A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
  ☆66Updated last year
• nevillegrech / gigahorse-benchmarks
  A benchmark suite (under construction) for smart contract vulnerability tools
  ☆14Updated 3 years ago
• boogie-org / corral
  solver for the reachability modulo theories problem
  ☆60Updated last year
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆127Updated 3 years ago
• verifereum / verifereum
  Prove functional correctness of Ethereum smart contracts in higher-order logic
  ☆27Updated this week
• runtimeverification / mir-semantics
  ☆24Updated this week
• Practical-Formal-Methods / queryFuzz
  QueryFuzz implements a metamorphic testing approach to test Datalog engines.
  ☆36Updated 4 years ago
• vlab-cs-ucsb / LibStranger
  ☆12Updated 9 years ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆65Updated 3 months ago
• NethermindEth / EVMYulLean
  Executable formal model of the EVM and Yul in Lean 4.
  ☆59Updated last week
• wanidon / RA
  ☆18Updated 3 years ago
• eth-sri / fastsmt
  Learning to Solve SMT Formulas Fast
  ☆86Updated last year
• franck44 / evm-dis
  An EVM bytecode disassembler/assembler
  ☆50Updated 6 months ago
• verovm / record-replay
  ☆18Updated 3 months ago
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆36Updated last week
• kupl / MicSE
  The Michelson Symbolic vErifier
  ☆13Updated 2 years ago
• uuverifiers / eldarica
  The Eldarica model checker
  ☆88Updated last month
• uuverifiers / ostrich
  An SMT Solver for string constraints
  ☆40Updated this week
• contract-ace / smartace
  ☆15Updated 3 years ago
• aeflores / CoFloCo
  CoFloCo is a static analysis tool written in prolog to infer automatically symbolic complexity bounds of imperative and recursive program…
  ☆17Updated 3 years ago
• awslabs / rust-smt-ir
  ☆40Updated 10 months ago