Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with datalog
A curated list of projects in awesome lists tagged with datalog .
https://github.com/cozodb/cozo
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
client-server cozo cozoscript cross-platform database datalog embedded-database graph graph-algorithms graph-database graphdb relational-database single-executable
Last synced: 30 Sep 2024
https://github.com/xtdb/xtdb
An immutable SQL database for application development, time-travel reporting and data compliance. Developed by @juxt
bitemporal database datalog document-database immutable-store sql temporal xtdb
Last synced: 01 Oct 2024
https://github.com/EvgSkv/logica
Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
bigquery datalog language logic-programming logica postgresql presto prolog prolog-implementation sql sqlite trino
Last synced: 31 Jul 2024
https://github.com/evgskv/logica
Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
bigquery datalog language logic-programming logica postgresql presto prolog prolog-implementation sql sqlite trino
Last synced: 01 Oct 2024
https://github.com/replikativ/datahike
A durable Datalog implementation adaptable for distribution.
clojure database datahike datalog open-source
Last synced: 30 Sep 2024
https://github.com/vmware/differential-datalog
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.
datalog ddlog incremental programming-language rust
Last synced: 30 Sep 2024
https://github.com/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.
datalog logic-programming souffle static-code-analysis translator
Last synced: 01 Aug 2024
https://github.com/ekzhang/percival
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
charts data-visualization datalog dsl logic-programming notebook query-language reactive visualization
Last synced: 06 Aug 2024
https://github.com/eth-sri/securify2
Securify v2.0
datalog ethereum security smart-contract solidity static-analysis vulnerability
Last synced: 01 Aug 2024
https://github.com/github/codeql-go
The CodeQL extractor and libraries for Go.
codeql datalog go golang program-analysis static-analysis
Last synced: 29 Sep 2024
https://github.com/ekzhang/crepe
Datalog compiler embedded in Rust as a procedural macro
datalog logic-programming rust souffle static-analysis translator
Last synced: 02 Aug 2024
https://github.com/rntz/datafun
Research on integrating datalog & lambda calculus via monotonicity types
compiler datalog monotonicity programming-language query semilattices type-theory
Last synced: 09 Aug 2024
https://github.com/simongray/clojure-graph-resources
A curated list of Clojure resources for dealing with graph-like data.
clojure datalog graph-theory graphs neo4j owl rdf semantic-web triples
Last synced: 26 Sep 2024
https://github.com/c-cube/datalog
An in-memory datalog implementation for OCaml.
datalog logic-programming memoization ocaml prolog
Last synced: 29 Sep 2024
https://github.com/eth-sri/securify
[DEPRECATED] Security Scanner for Ethereum Smart Contracts
chainsecurity datalog depricated ethereum evm obsolete security smart-contract solidity static-analysis
Last synced: 03 Aug 2024
https://github.com/HarvardPL/formulog
Datalog with support for SMT queries and first-order functional programming
datalog logic-programming smt static-analysis symbolic-execution
Last synced: 01 Aug 2024
https://github.com/fogfish/datalog
simplified query engine based on logic programming paradigm
datalog erlang knowledge logic-programming semantic-web
Last synced: 02 Oct 2024
https://github.com/luc-tielen/souffle-haskell
Haskell bindings for the Souffle datalog language
bindings datalog haskell souffle-datalog-language
Last synced: 28 Sep 2024
https://github.com/jdormit/sicp-logic
A Clojure implementation of the logic programming language from chapter 4 of SICP
clojure datalog logic-programming sicp
Last synced: 02 Aug 2024
https://github.com/langston-barrett/treeedb
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
datalog souffle static-analysis tree-sitter
Last synced: 30 Sep 2024
https://github.com/theronic/eacl
EACL: Enterprise Access Control Lists
access-control clojure datalog enterprise
Last synced: 03 Oct 2024
https://github.com/dirkschumacher/logician
🖖 Prolog-style Logic Programming in pure R
datalog logic-programming prolog r
Last synced: 13 Aug 2024
https://github.com/gkastrinis/panda
A Datalog compiler and library
compiler datalog datalog-compiler
Last synced: 01 Aug 2024
https://github.com/theronic/hoist
(Placeholder for) A visual programming language inspired by Excel & Datalog
clojure datalog excel lisp provenance visual-programming
Last synced: 03 Oct 2024
https://github.com/ekgf/rdfox-rs
Rust interface for the RDFox database
datalog ekg kg knowledge-graph owl-ontology rdf rust sparql
Last synced: 01 Oct 2024
https://github.com/nuid/datalog
Cross-platform Datalog facilities
clj cljs datalog datascript datomic schema
Last synced: 28 Sep 2024