Alternatives and similar repositories for souffle-lint:

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

• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆67Updated 3 weeks ago
• matthesjh / coq-tal
  Formalization of Typed Assembly Language (TAL) in Coq
  ☆17Updated last year
• csabahruska / p4f-control-flow-analysis
  Haskell implementation of P4F Control-Flow Analysis
  ☆21Updated 2 years ago
• Tritlo / PropR
  Genetic program repair using GHC
  ☆30Updated 11 months ago
• TiarkRompf / reachability
  ☆47Updated 2 months ago
• owo-lang / Mini-TT
  Documented version of a simple type-theoretic language: Mini-TT
  ☆18Updated 5 years ago
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆13Updated 3 months ago
• FStarLang / steel
  The Steel separation logic library for F*
  ☆33Updated last month
• lecopivo / lean4-karray
  ☆13Updated 3 years ago
• synacktiv / toy-wasm-symbexp
  A toy symbolic execution engine, supporting the blog article ...
  ☆17Updated 3 years ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆66Updated last month
• kckennylau / mathlib4
  Unofficial repository for the experimental porting of mathlib into lean4
  ☆10Updated 4 years ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 3 years ago
• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆27Updated last month
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆47Updated 3 years ago
• GaloisInc / semmc
  Stratified synthesis for learning machine code instruction semantics
  ☆36Updated 8 months ago
• sweirich / graded-haskell
  Graded Dependent Type systems
  ☆24Updated last year
• philzook58 / datalog-book
  A book about datalog
  ☆12Updated 2 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆64Updated last year
• uuverifiers / ostrich
  An SMT Solver for string constraints
  ☆38Updated last month
• plum-umd / cgc
  Constructive Galois connections
  ☆32Updated 7 years ago
• jespercockx / popl19-tutorial
  Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais
  ☆26Updated 6 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• katydid / regex-deriv-coq
  ☆21Updated 4 months ago
• acorrenson / WiSE
  A formally verified bug finder
  ☆14Updated 5 months ago
• pi8027 / stablesort
  Stable sort algorithms and their stability proofs in Coq
  ☆22Updated 2 weeks ago
• namin / dafny-sandbox
  Dafny for Metatheory of Programming Languages
  ☆25Updated 3 months ago
• elpinal / subtyping-agda
  Some rudimentary proofs on subtyping
  ☆11Updated 3 years ago
• uuverifiers / sloth
  An SMT Solver for strings
  ☆10Updated 6 years ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆66Updated 2 years ago