datalog
Here are 180 public repositories matching this topic...
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.
-
Updated
Jun 3, 2024 - C++
An immutable database for application development and time-travel data compliance, with SQL and XTQL. Developed by @juxt
-
Updated
Jun 3, 2024 - Clojure
Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
-
Updated
Jun 2, 2024 - Jupyter Notebook
The official repo of Doop, the declarative pointer analysis framework.
-
Updated
May 27, 2024 - Java
logic programming in Rust
-
Updated
May 24, 2024 - Rust
Haskell bindings for the Souffle datalog language
-
Updated
May 16, 2024 - C++
A durable Datalog implementation adaptable for distribution.
-
Updated
Jun 3, 2024 - Clojure
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
-
Updated
May 9, 2024 - Rust
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
-
Updated
Jun 1, 2024 - Rust
A precise and scalable pointer analysis for LLVM, written in Ascent
-
Updated
Jun 1, 2024 - C
🍵 An in memory graph database with SPARQL-like DSL for querying Linked Data Models
-
Updated
Jun 1, 2024 - Clojure
The FP-SNS-DATALOG2 function pack represents an evolution of FP-SNS-DATALOG1 and provides a comprehensive solution for saving data from any combination of sensors and microphones configured up to the maximum sampling rate. Please check st.com where a more recent version of the software might be available.
-
Updated
Apr 11, 2024 - C
In-Memory Immutable Graph Structure with Datalog Query Language in Common Lisp
-
Updated
Apr 10, 2024 - Common Lisp
A declarative language for C static code checkers
-
Updated
Apr 2, 2024 - C
The FP-IND-DATALOGMC function pack for STEVAL-STWINBX1 and EVLSPIN32G4-ACT is a powerful integrated toolkit for the next generation of smart actuators. It is derived from FP-SNS-DATALOG2 function pack and it allows the collection of heterogeneous data. Please check st.com where a more recent version of the software might be available.
-
Updated
Mar 25, 2024 - C
Improve this page
Add a description, image, and links to the datalog topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the datalog topic, visit your repo's landing page and select "manage topics."