Skip to content
@souffle-lang

The Soufflé Project

Pinned Loading

  1. souffle 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.

    C++ 935 208

Repositories

Showing 10 of 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.

    souffle-lang/souffle’s past year of commit activity
    C++ 935 UPL-1.0 208 127 3 Updated Oct 22, 2024
  • souffle-lang.github.io Public

    Soufflé

    souffle-lang/souffle-lang.github.io’s past year of commit activity
    HTML 7 60 11 7 Updated Oct 7, 2024
  • souffle-lint Public Forked from langston-barrett/souffle-lint

    A linter for Soufflé Datalog

    souffle-lang/souffle-lint’s past year of commit activity
    Rust 2 MIT 1 0 0 Updated May 25, 2024
  • treeedb Public Forked from langston-barrett/treeedb

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

    souffle-lang/treeedb’s past year of commit activity
    Rust 1 MIT 8 0 0 Updated Mar 3, 2024
  • homebrew-souffle Public

    Brew Scripts

    souffle-lang/homebrew-souffle’s past year of commit activity
    Ruby 0 12 5 0 Updated Dec 31, 2023
  • souffle-lsp-plugin Public Forked from 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

    souffle-lang/souffle-lsp-plugin’s past year of commit activity
    Java 3 4 0 0 Updated Oct 1, 2023
  • ppa Public

    Package repository

    souffle-lang/ppa’s past year of commit activity
    0 0 1 0 Updated Mar 5, 2023
  • souffle-utilities Public

    Utilities for use with Souffle

    souffle-lang/souffle-utilities’s past year of commit activity
    Shell 0 0 0 0 Updated Sep 11, 2021
  • souffle-mode Public Forked from epost/souffle-mode

    Emacs mode for Souffle datalog files.

    souffle-lang/souffle-mode’s past year of commit activity
    Emacs Lisp 1 6 2 0 Updated Jun 6, 2021
  • souffle-lib Public

    Souffle Library

    souffle-lang/souffle-lib’s past year of commit activity
    Makefile 3 UPL-1.0 0 1 0 Updated May 28, 2021
View all repositories

Most used topics

Loading…