Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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/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