Skip to content

@souffle-lang The Soufflé Project

Change the repository type filter

All

    Repositories list

    16 repositories

    • souffle

      Public
      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.
      static-code-analysislogic-programmingtranslatordatalogsouffle
      C++
      •
      Universal Permissive License v1.0
      •208•925•127•1•Updated Oct 22, 2024Oct 22, 2024

    • souffle-lang.github.io

      Public
      Soufflé
      HTML
      •59•7•11•6•Updated Oct 7, 2024Oct 7, 2024

    • souffle-lint

      Public
      A linter for Soufflé Datalog
      Rust
      •
      MIT License
      •1•2•0•0•Updated May 25, 2024May 25, 2024

    • treeedb

      Public
      Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
      Rust
      •
      MIT License
      •8•1•0•0•Updated Mar 3, 2024Mar 3, 2024

    • homebrew-souffle

      Public
      Brew Scripts
      Ruby
      •12•0•5•0•Updated Dec 31, 2023Dec 31, 2023

    • souffle-lsp-plugin

      Public
      Soufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin
      Java
      •3•3•0•0•Updated Oct 1, 2023Oct 1, 2023

    • ppa

      Public
      Package repository
      0•0•1•0•Updated Mar 5, 2023Mar 5, 2023

    • souffle-utilities

      Public
      Utilities for use with Souffle
      Shell
      •0•0•0•0•Updated Sep 11, 2021Sep 11, 2021

    • souffle-mode

      Public
      Emacs mode for Souffle datalog files.
      Emacs Lisp
      •6•1•2•0•Updated Jun 6, 2021Jun 6, 2021

    • souffle-lib

      Public
      Souffle Library
      Makefile
      •
      Universal Permissive License v1.0
      •0•3•1•0•Updated May 28, 2021May 28, 2021

    • souffle.vim

      Public
      Syntax highlighting for souffle files
      Vim Script
      •
      MIT License
      •6•8•0•0•Updated May 3, 2021May 3, 2021

    • intellij-datalog

      Public
      Kotlin
      •
      MIT License
      •4•3•0•0•Updated Mar 22, 2020Mar 22, 2020

    • souffle-web

      Public
      A web interface for Soufflé
      JavaScript
      •4•0•0•0•Updated Nov 11, 2019Nov 11, 2019

    • benchmarks

      Public
      Datalog benchmark suite
      Shell
      •2•3•0•0•Updated Feb 13, 2019Feb 13, 2019

    • ppopp19

      Public
      Experiments from PPoPP19 paper on B-Tree
      C++
      •0•6•0•0•Updated Jan 12, 2019Jan 12, 2019

    • java-pts

      Public
      Souffle: Tutorial for a Java Points-To Analysis
      Java
      •3•1•0•0•Updated Sep 22, 2016Sep 22, 2016