An in-memory datalog implementation for OCaml.
[DEPRECATED] Security Scanner for Ethereum Smart Contracts
The React state management library for write-heavy applications
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
Datalog with support for SMT queries and first-order functional programming
simplified query engine based on logic programming paradigm
Mirror of Doop: https://bitbucket.org/yanniss/doop
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
Haskell bindings for the Souffle datalog language
A tool for analyzing LLVM bitcode using Datalog.
Entish is a declarative Datalog-like language for formal RPG rules
optimize your home bar with ✨logic programming✨
Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
A Clojure implementation of the logic programming language from chapter ...
Store immutable facts and query them with datalog.