Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 18 Logic Programming Datalog Open Source Projects

Open source projects categorized as Logic Programming Datalog
Categories > Datalog
Categories > Programming Languages > Logic Programming
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 3 months 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 4 months ago
Percival ⭐ 497
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
most 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
Ascent ⭐ 244
logic programming in Rust
dependent packages 2total releases 9most recent commit 4 months agocargo ascent_base} Downloads
Datalog ⭐ 230
An in-memory datalog implementation for OCaml.
most recent commit 2 years ago
Eclair Lang ⭐ 178
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
most recent commit 6 months ago
Formulog ⭐ 137
Datalog with support for SMT queries and first-order functional programming
most recent commit 6 months ago
Datalog ⭐ 67
simplified query engine based on logic programming paradigm
total releases 3most recent commit 5 years ago
Sicp Logic ⭐ 58
A Clojure implementation of the logic programming language from chapter 4 of SICP
most recent commit 5 years ago
Mixologician ⭐ 46
optimize your home bar with ✨logic programming✨
most recent commit 2 years ago
Jatalog ⭐ 41
Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
most recent commit 6 years ago
Abcdatalog ⭐ 34
Datalog that's as easy as ABC.
most recent commit 4 months ago
Logician ⭐ 20
🖖 Prolog-style Logic Programming in pure R
most recent commit 4 years ago
Minikanren Datalog ⭐ 16
Datalog implemented in minikanren
most recent commit 7 years ago
Dakilang ⭐ 6
Interpreter for the Daki logic programming language
most recent commit a year ago
Psc Query ⭐ 6
PureScript source code knowledge extraction and querying support.
most recent commit 6 years ago
Dlog ⭐ 6
Maybe the smallest Java Datalog system
most recent commit 2 years ago
The 2 Most Depended On Logic Programming Datalog Open Source Projects
Ascent ⭐ 244
logic programming in Rust
dependent packages 2total releases 9latest release August 05, 2023most recent commit 4 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
The 4 Latest Releases In Logic Programming Datalog Open Source Projects
Ascent ⭐ 244
logic programming in Rust
dependent packages 2total releases 9latest release August 05, 2023most recent commit 4 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
Datalog ⭐ 67
simplified query engine based on logic programming paradigm
total releases 3latest release February 21, 2019most recent commit 5 years ago
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.