souffle

There are 0 repository under souffle topic.

• souffle-lang / souffle

  Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

  datalogstatic-code-analysissouffletranslatorlogic-programming
  Language:C++ 869

• ekzhang / crepe

  Datalog compiler embedded in Rust as a procedural macro

  datalogrustsoufflestatic-analysislogic-programmingtranslator
  Language:Rust 444

• GaloisInc / cclyzerpp

  cclyzer++ is a precise and scalable pointer analysis for LLVM code.

  program-analysisstatic-analysispointer-analysissouffledatalogllvm
  Language:C++ 111

• ianthehenry / mixologician

  optimize your home bar with ✨logic programming✨

  cocktailsdataloglogic-programmingmixologysoufflesouffle-datalog-language
  Language:Prolog 75

• langston-barrett / treeedb

  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.

  datalogsoufflestatic-analysistree-sitter
  Language:Rust 51

• oracle / souffle

  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.

  souffletranslator
  Language:C++ 49

• langston-barrett / souffle-lint

  A linter for Soufflé Datalog

  dataloglintersouffle
  Language:Rust 12

• langston-barrett / tree-sitter-souffle

  A tree-sitter grammar for Soufflé Datalog

  datalogparsingsouffletree-sitter
  Language:C 12

• 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

  antlr4dataloglsp-servervscode-extensionlanguage-serversouffleidestatic-analysis
  Language:Java 11

• grin-compiler / souffle-cfa-optimization-experiment

  Optimization attempt of the Lambda Control Flow Analysis (STG like language)

  souffledatalogstatic-analysisfunctional-programminghaskellstgclosureslazy-evaluationcontrol-flow-analysiscfa
  Language:HTML 7

• epost / souffle-mode

  Emacs mode for Souffle datalog files.

  datalogemacs-modesouffle
  Language:Emacs Lisp 5

• langston-barrett / rdf-star-souffle

  A toolkit for reasoning about RDF-star in Soufflé, including an OWL reasoner

  datalogrdf-starrdfowlowl-reasonerrdfssoufflesouffle-datalog-language
  Language:Rust 5

• ymerkli / smart-contract-taint-analysis

  Static taint analyzer for Ethereum smart contracts written in Solidity

  soliditydatalogsouffleanalyzerstatic-analysis
  Language:Python 5

• quentin / aoc22-datalog

  Advent of Code 2022 in Datalog

  aoc22datalogaoc-2022-in-datalogadvent-of-codeadvent-of-code-2022adventofcodesoufflesouffle-datalog-languageadvent-of-code-2022-datalog
  Language:Ruby 2
• Jeu-du-Souffle

  jhabaa / Jeu-du-Souffle

  Projet Bureau d'etude

  souffleunityunity3dblow
  Language:C# 1

• quentin / aoc21-datalog

  Advent of Code 2021 in Souffle datalog

  datalogadvent-of-code-2021advent-of-codesoufflesouffle-datalog-language
  1

• thepalbi / souffle-points-to-analysis

  Souffle + Soot points to analysis

  sootsoufflepoints-to-analysis
  Language:Java 1

• TomBinford / metadatalog

  datalogsouffle
  1

• quentin / aoc23-datalog

  Advent of Code 2023 in Datalog

  advent-of-codeadvent-of-code-2023adventofcodeaoc2023datalogsoufflesouffle-datalog-languageadvent-of-code-2023-datalog
  Language:Ruby 0