{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"souffle","owner":"souffle-lang","isFork":false,"description":"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. ","allTopics":["static-code-analysis","logic-programming","translator","datalog","souffle"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":4,"issueCount":125,"starsCount":872,"forksCount":192,"license":"Universal Permissive License v1.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T15:14:36.581Z"}},{"type":"Public","name":"souffle-lint","owner":"souffle-lang","isFork":true,"description":"A linter for Soufflé Datalog","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-25T11:28:37.591Z"}},{"type":"Public","name":"souffle-lang.github.io","owner":"souffle-lang","isFork":false,"description":"Soufflé","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":4,"issueCount":11,"starsCount":7,"forksCount":57,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-16T19:02:46.546Z"}},{"type":"Public","name":"treeedb","owner":"souffle-lang","isFork":true,"description":"Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":7,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-03T09:15:43.027Z"}},{"type":"Public","name":"homebrew-souffle","owner":"souffle-lang","isFork":false,"description":"Brew Scripts","allTopics":[],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":0,"issueCount":5,"starsCount":0,"forksCount":12,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-31T07:12:20.678Z"}},{"type":"Public","name":"souffle-lsp-plugin","owner":"souffle-lang","isFork":true,"description":"Soufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-01T16:30:23.011Z"}},{"type":"Public","name":"ppa","owner":"souffle-lang","isFork":false,"description":"Package repository","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-05T14:01:16.685Z"}},{"type":"Public","name":"souffle-utilities","owner":"souffle-lang","isFork":false,"description":"Utilities for use with Souffle","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-11T11:16:33.665Z"}},{"type":"Public","name":"souffle-mode","owner":"souffle-lang","isFork":true,"description":"Emacs mode for Souffle datalog files.","allTopics":[],"primaryLanguage":{"name":"Emacs Lisp","color":"#c065db"},"pullRequestCount":0,"issueCount":2,"starsCount":1,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-06T03:44:05.499Z"}},{"type":"Public","name":"souffle-lib","owner":"souffle-lang","isFork":false,"description":"Souffle Library","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":1,"starsCount":3,"forksCount":0,"license":"Universal Permissive License v1.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-28T08:31:16.083Z"}},{"type":"Public","name":"souffle.vim","owner":"souffle-lang","isFork":false,"description":"Syntax highlighting for souffle files","allTopics":[],"primaryLanguage":{"name":"Vim Script","color":"#199f4b"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":6,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-03T04:48:28.422Z"}},{"type":"Public","name":"intellij-datalog","owner":"souffle-lang","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Kotlin","color":"#A97BFF"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-03-22T15:33:26.936Z"}},{"type":"Public","name":"souffle-web","owner":"souffle-lang","isFork":true,"description":"A web interface for Soufflé","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-11-11T20:18:04.616Z"}},{"type":"Public","name":"benchmarks","owner":"souffle-lang","isFork":false,"description":"Datalog benchmark suite","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-02-13T01:47:58.354Z"}},{"type":"Public","name":"ppopp19","owner":"souffle-lang","isFork":false,"description":"Experiments from PPoPP19 paper on B-Tree","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-01-12T01:33:08.952Z"}},{"type":"Public","name":"java-pts","owner":"souffle-lang","isFork":false,"description":"Souffle: Tutorial for a Java Points-To Analysis","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-09-22T03:17:52.122Z"}}],"repositoryCount":16,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}