Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Datalog Open Source Projects

Open source projects categorized as Datalog
Categories > Datalog
Cozo ⭐ 2,878
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
dependent packages 2total releases 18most recent commit 6 months agopypi cozo-embedded} Downloads
Xtdb ⭐ 2,435
An immutable database for application development and data compliance, with SQL and XTQL. Developed by @juxt
dependent packages 3total releases 36most recent commit 3 months agonpm crux} Downloads
Logica ⭐ 1,632
Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
total releases 25most recent commit 5 months ago
Datahike ⭐ 1,571
A durable Datalog implementation adaptable for distribution.
total releases 11most recent commit 5 months ago
Differential Datalog ⭐ 1,221
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.
total releases 34most recent commit 2 years ago
Souffle ⭐ 822
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.
most recent commit 6 months ago
Percival ⭐ 497
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
most recent commit a year ago
Semantic Python Overview ⭐ 456
(subjective) overview of projects which are related both to python and semantic technologies (RDF, OWL, Reasoning, ...)
most recent commit 8 months ago
Codeql Go ⭐ 455
The CodeQL extractor and libraries for Go.
dependent packages 1total releases 22most recent commit a year ago
Crepe ⭐ 371
Datalog compiler embedded in Rust as a procedural macro
dependent packages 2total releases 9most recent commit a year agocargo crepe} Downloads
Datafun ⭐ 328
Research on integrating datalog & lambda calculus via monotonicity types
most recent commit 2 years ago
Clj 3df ⭐ 297
Clojure(Script) client for Declarative Dataflow.
total releases 1most recent commit 5 years ago
Ascent ⭐ 244
logic programming in Rust
dependent packages 2total releases 9most recent commit 6 months agocargo ascent_base} Downloads
Datalog ⭐ 230
An in-memory datalog implementation for OCaml.
most recent commit 2 years ago
Securify2 ⭐ 208
Securify v2.0
most recent commit 2 years ago
Declarative Dataflow ⭐ 206
A reactive query engine built on differential dataflow.
total releases 2most recent commit 4 years ago
Clojure Graph Resources ⭐ 181
A curated list of Clojure resources for dealing with graph-like data.
most recent commit 2 years ago
Eclair Lang ⭐ 178
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
most recent commit 8 months ago
Securify ⭐ 168
[DEPRECATED] Security Scanner for Ethereum Smart Contracts
most recent commit 4 years ago
Homebase React ⭐ 146
The React state management library for write-heavy applications
dependent packages 2total releases 27most recent commit 3 years agonpm homebase-react} Downloads
Formulog ⭐ 137
Datalog with support for SMT queries and first-order functional programming
most recent commit 8 months ago
Doop Mirror ⭐ 116
Mirror of Doop: https://bitbucket.org/yanniss/doop
most recent commit 8 months ago
Souffle Haskell ⭐ 95
Haskell bindings for the Souffle datalog language
total releases 18most recent commit 6 months ago
The 10 Most Depended On Datalog Open Source Projects
Treeedb ⭐ 37
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
dependent packages 6total releases 3latest release October 29, 2022most recent commit 6 months agocargo treeedb} Downloads
Xtdb ⭐ 2,435
An immutable database for application development and data compliance, with SQL and XTQL. Developed by @juxt
dependent packages 3total releases 36latest release July 05, 2019most recent commit 3 months agonpm crux} Downloads
Level Fact Base ⭐ 42
Store immutable facts and query them with datalog.
dependent packages 2total releases 9latest release May 21, 2023most recent commit a year agonpm level-fact-base} Downloads
Entish ⭐ 76
Entish is a declarative Datalog-like language for formal RPG rules
dependent packages 2total releases 1latest release July 04, 2021most recent commit 3 years agonpm entish} Downloads
Homebase React ⭐ 146
The React state management library for write-heavy applications
dependent packages 2total releases 27latest release May 13, 2021most recent commit 3 years agonpm homebase-react} Downloads
Ascent ⭐ 244
logic programming in Rust
dependent packages 2total releases 9latest release August 05, 2023most recent commit 6 months agocargo ascent_base} Downloads
Crepe ⭐ 371
Datalog compiler embedded in Rust as a procedural macro
dependent packages 2total releases 9latest release March 19, 2023most recent commit a year agocargo crepe} Downloads
Cozo ⭐ 2,878
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
dependent packages 2total releases 18latest release September 16, 2023most recent commit 6 months agopypi cozo-embedded} Downloads
Tree Sitter Souffle ⭐ 8
A tree-sitter grammar for Soufflé Datalog
dependent packages 1total releases 3latest release October 24, 2022most recent commit 2 years agocargo tree-sitter-souffle} Downloads
The 10 Latest Releases In Datalog Open Source Projects
Cozo ⭐ 2,878
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
dependent packages 2total releases 18latest release September 16, 2023most recent commit 6 months agopypi cozo-embedded} Downloads
Rdfox Rs ⭐ 7
Rust interface for the RDFox database
total releases 17latest release August 27, 2023most recent commit 5 months ago
Ascent ⭐ 244
logic programming in Rust
dependent packages 2total releases 9latest release August 05, 2023most recent commit 6 months agocargo ascent_base} Downloads
Level Fact Base ⭐ 42
Store immutable facts and query them with datalog.
dependent packages 2total releases 9latest release May 21, 2023most recent commit a year agonpm level-fact-base} Downloads
Crepe ⭐ 371
Datalog compiler embedded in Rust as a procedural macro
dependent packages 2total releases 9latest release March 19, 2023most recent commit a year agocargo crepe} Downloads
Souffle Haskell ⭐ 95
Haskell bindings for the Souffle datalog language
total releases 18latest release November 07, 2022most recent commit 6 months ago
Treeedb ⭐ 37
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
dependent packages 6total releases 3latest release October 29, 2022most recent commit 6 months agocargo treeedb} Downloads
Tree Sitter Souffle ⭐ 8
A tree-sitter grammar for Soufflé Datalog
dependent packages 1total releases 3latest release October 24, 2022most recent commit 2 years agocargo tree-sitter-souffle} Downloads
Modus ⭐ 13
A language for building Docker/OCI container images
dependent packages 1total releases 15latest release March 28, 2022most recent commit 2 years agocargo modus-lib} Downloads
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.