knowsys/nemo

A fast in-memory rule engine

Language: Rust - Size: 4.59 MB - Last synced: about 10 hours ago - Pushed: 1 day ago - Stars: 37 - Forks: 4

EvgSkv/logica

Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.

Language: Jupyter Notebook - Size: 5.29 MB - Last synced: 4 days ago - Pushed: 5 days ago - Stars: 1,683 - Forks: 90

pysemtec/semantic-python-overview

(subjective) overview of projects which are related both to python and semantic technologies (RDF, OWL, Reasoning, ...)

Size: 89.8 KB - Last synced: 2 days ago - Pushed: 7 months ago - Stars: 485 - Forks: 33

plast-lab/doop

Mirror of Doop: https://bitbucket.org/yanniss/doop

Language: Java - Size: 103 MB - Last synced: 7 days ago - Pushed: 7 days ago - Stars: 132 - Forks: 20

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.

Language: Java - Size: 295 MB - Last synced: 7 days ago - Pushed: 10 months ago - Stars: 1,339 - Forks: 116

GaloisInc/cclyzerpp

cclyzer++ is a precise and scalable pointer analysis for LLVM code.

Language: C++ - Size: 3.97 MB - Last synced: 7 days ago - Pushed: about 1 year ago - Stars: 111 - Forks: 14

GaloisInc/yapall

A precise and scalable pointer analysis for LLVM, written in Ascent

Language: C - Size: 3.56 MB - Last synced: 7 days ago - Pushed: 15 days ago - Stars: 50 - Forks: 3

etherealmachine/entish

Entish is a declarative Datalog-like language for formal RPG rules

Language: TypeScript - Size: 7.66 MB - Last synced: 6 days ago - Pushed: over 2 years ago - Stars: 91 - Forks: 3

eth-sri/securify2

Securify v2.0

Language: Solidity - Size: 1010 KB - Last synced: 8 days ago - Pushed: 5 months ago - Stars: 570 - Forks: 131

replikativ/datahike

A durable Datalog implementation adaptable for distribution.

Language: Clojure - Size: 4.81 MB - Last synced: 15 days ago - Pushed: 16 days ago - Stars: 1,581 - Forks: 96

TomBinford/metadatalog

Size: 22.5 KB - Last synced: 12 days ago - Pushed: 12 days ago - Stars: 1 - Forks: 0

homebaseio/homebase-react

The React state management library for write-heavy applications

Language: Clojure - Size: 38 MB - Last synced: 6 days ago - Pushed: over 2 years ago - Stars: 201 - Forks: 10

langston-barrett/treeedb

Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.

Language: Rust - Size: 131 KB - Last synced: 13 days ago - Pushed: 14 days ago - Stars: 47 - Forks: 6

ericdallo/gregflix

Clojure web app for video stream using datomic

Language: CSS - Size: 738 KB - Last synced: 14 days ago - Pushed: about 4 years ago - Stars: 10 - Forks: 2

EKGF/rdfox-rs

Rust interface for the RDFox database

Language: Rust - Size: 1.37 MB - Last synced: 13 days ago - Pushed: 4 months ago - Stars: 7 - Forks: 0

cozodb/cozo

A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

Language: Rust - Size: 9.55 MB - Last synced: 23 days ago - Pushed: about 2 months ago - Stars: 3,097 - Forks: 84

racket/datalog

Language: Racket - Size: 2.38 MB - Last synced: 7 days ago - Pushed: 3 months ago - Stars: 42 - Forks: 14

ekzhang/percival

📝 Web-based, reactive Datalog notebooks for data analysis and visualization

Language: Rust - Size: 646 KB - Last synced: 14 days ago - Pushed: about 1 year ago - Stars: 589 - Forks: 24

replikativ/mesalog

CSV data loader for Datalog databases

Language: Clojure - Size: 1.15 MB - Last synced: 5 days ago - Pushed: 3 months ago - Stars: 8 - Forks: 0

luc-tielen/eclair-lang

A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

Language: Haskell - Size: 3.89 MB - Last synced: 15 days ago - Pushed: 4 months ago - Stars: 192 - Forks: 12

ekzhang/crepe

Datalog compiler embedded in Rust as a procedural macro

Language: Rust - Size: 72.3 KB - Last synced: 14 days ago - Pushed: 2 months ago - Stars: 443 - Forks: 16

vmware/database-stream-processor-compiler

Infrastructure to run programs written in high-level languages on top of the Database Stream Processor (DBSP) runtime.

Language: Rust - Size: 341 KB - Last synced: 7 days ago - Pushed: almost 2 years ago - Stars: 14 - Forks: 2

s-arash/ascent

logic programming in Rust

Language: Rust - Size: 1.15 MB - Last synced: 2 days ago - Pushed: 10 days ago - Stars: 370 - Forks: 13

Swirrl/matcha

:tea: An in memory graph database with SPARQL-like DSL for querying Linked Data Models

Language: Clojure - Size: 226 KB - Last synced: 2 days ago - Pushed: 15 days ago - Stars: 21 - Forks: 0

markkurossi/lgrep

Syslog collector and analyzer.

Language: Go - Size: 2.74 MB - Last synced: 25 days ago - Pushed: over 3 years ago - Stars: 4 - Forks: 0

github/codeql-go 📦

The CodeQL extractor and libraries for Go.

Size: 14.9 MB - Last synced: 25 days ago - Pushed: over 1 year ago - Stars: 463 - Forks: 128

NuID/datalog

Cross-platform Datalog facilities

Language: Clojure - Size: 28.3 KB - Last synced: 27 days ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

c-cube/datalog

An in-memory datalog implementation for OCaml.

Language: Prolog - Size: 1.5 MB - Last synced: 26 days ago - Pushed: almost 2 years ago - Stars: 251 - Forks: 22

leostera/pachadb

an edge database

Language: Rust - Size: 627 KB - Last synced: 14 days ago - Pushed: 9 months ago - Stars: 24 - Forks: 1

amzuko/gotalog

Golang implementation of datalog, port of MITRE corporation's lua implementation

Language: Prolog - Size: 741 KB - Last synced: 28 days ago - Pushed: over 3 years ago - Stars: 20 - Forks: 4

grigoryk/mentat Fork of mozilla/mentat

A persistent, relational store inspired by Datomic and DataScript.

Language: Rust - Size: 12.4 MB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 5 - Forks: 0

xtdb/xtdb

An immutable database for application development and time-travel data compliance, with SQL and XTQL. Developed by @juxt

Language: Clojure - Size: 200 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 2,437 - Forks: 159

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.

Language: C++ - Size: 516 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 857 - Forks: 191

philzook58/duckegg

An experiment in using DuckDB for a datalog / egg

Language: Python - Size: 191 KB - Last synced: 14 days ago - Pushed: 7 months ago - Stars: 23 - Forks: 0

fogfish/datalog

simplified query engine based on logic programming paradigm

Language: Erlang - Size: 266 KB - Last synced: about 1 month ago - Pushed: about 5 years ago - Stars: 133 - Forks: 10

modus-continens/modus

A language for building Docker/OCI container images

Language: Rust - Size: 560 KB - Last synced: 13 days ago - Pushed: about 2 years ago - Stars: 279 - Forks: 9

eth-sri/securify

[DEPRECATED] Security Scanner for Ethereum Smart Contracts

Language: Java - Size: 1.02 MB - Last synced: 8 days ago - Pushed: over 4 years ago - Stars: 215 - Forks: 50

philippkueng/datalite

Datalog meets SQLite

Language: Clojure - Size: 59.6 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

filipesilva/fdb

Reactive database environment for your files.

Language: Clojure - Size: 3.35 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 19 - Forks: 1

luc-tielen/souffle-haskell

Haskell bindings for the Souffle datalog language

Language: C++ - Size: 1.26 MB - Last synced: 15 days ago - Pushed: 3 months ago - Stars: 99 - Forks: 12

ianthehenry/mixologician

optimize your home bar with ✨logic programming✨

Language: Prolog - Size: 79.1 KB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 75 - Forks: 1

STMicroelectronics/fp-ind-datalogmc

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.

Language: C - Size: 60.8 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

inconvergent/cl-grph

In-Memory Immutable Graph Structure with Datalog Query Language in Common Lisp

Language: Common Lisp - Size: 389 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 50 - Forks: 1

iliastsa/woof

A Datalog interpreter implementing the Well-Founded semantics.

Language: Python - Size: 33.2 KB - Last synced: about 2 months ago - Pushed: almost 4 years ago - Stars: 6 - Forks: 0

STMicroelectronics/fp-sns-datalog2

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.

Language: C - Size: 333 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 10 - Forks: 0

philzook58/snakelog

A Datalog Framework for Python

Language: Python - Size: 5.07 MB - Last synced: 14 days ago - Pushed: about 1 year ago - Stars: 10 - Forks: 2

rntz/datafun

Research on integrating datalog & lambda calculus via monotonicity types

Language: TeX - Size: 2.65 MB - Last synced: about 1 month ago - Pushed: almost 2 years ago - Stars: 375 - Forks: 15

sultanov-team/xtdb-tarantool

XTDB module allows you to use Tarantool (in-memory computing platform)

Language: Clojure - Size: 88.9 KB - Last synced: 2 months ago - Pushed: over 2 years ago - Stars: 11 - Forks: 1

alexei-matveev/regelwerk

Making facts of other facts ...

Language: Clojure - Size: 171 KB - Last synced: about 1 month ago - Pushed: 2 months ago - Stars: 2 - Forks: 0

cmungall/sparqlprog

logic programming with SPARQL

Language: Prolog - Size: 470 KB - Last synced: 3 days ago - Pushed: over 1 year ago - Stars: 45 - Forks: 7

seanpm2001/SNU_2D_ProgrammingTools_IDE_Datalog

⌨️ The Datalog programming language IDE submodule for SNU Programming Tools (2D Mode)

Language: HTML - Size: 249 KB - Last synced: 18 days ago - Pushed: 3 months ago - Stars: 2 - Forks: 1

seanpm2001/Learn-Datalog

📚️ A repository for showcasing my knowledge of the Datalog programming language, and continuing to learn the language.

Language: HTML - Size: 240 KB - Last synced: 18 days ago - Pushed: 3 months ago - Stars: 2 - Forks: 1

plast-lab/cclyzer

A tool for analyzing LLVM bitcode using Datalog.

Language: C++ - Size: 42.9 MB - Last synced: about 2 months ago - Pushed: over 3 years ago - Stars: 90 - Forks: 14

dirkschumacher/logician

🖖 Prolog-style Logic Programming in pure R

Language: R - Size: 34.2 KB - Last synced: 3 months ago - Pushed: almost 4 years ago - Stars: 33 - Forks: 0

seanpm2001/AI2001_Category-Source_Code-SC-DataLog

🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:DataLog category for AI2001, containing DataLog programming language datasets

Language: R - Size: 2.57 MB - Last synced: 18 days ago - Pushed: 4 months ago - Stars: 1 - Forks: 0

HarvardPL/formulog

Datalog with support for SMT queries and first-order functional programming

Language: Java - Size: 2.85 MB - Last synced: 3 months ago - Pushed: 7 months ago - Stars: 140 - Forks: 8

lu-cs-sde/clog Fork of lu-cs-sde/metadl

A declarative language for C static code checkers

Language: C - Size: 27.5 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 1 - Forks: 0

comnik/declarative-dataflow

A reactive query engine built on differential dataflow.

Language: Rust - Size: 1.05 MB - Last synced: 7 days ago - Pushed: over 4 years ago - Stars: 305 - Forks: 28

lyxell/logifix

Fixing static analysis violations in Java source code using Datalog

Language: C++ - Size: 892 KB - Last synced: 3 months ago - Pushed: over 1 year ago - Stars: 17 - Forks: 0

lyxell/sjp

Java parser written in Datalog

Language: C++ - Size: 168 KB - Last synced: 3 months ago - Pushed: over 2 years ago - Stars: 9 - Forks: 0

m-carrasco/net-ssa

net-ssa: A fast and easy-to-use register-based representation for .NET bytecode.

Language: C# - Size: 212 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 16 - Forks: 0

vvvvalvalval/datalog-rules

Utilities for managing Datalog rulesets from Clojure

Language: Clojure - Size: 18.6 KB - Last synced: 29 days ago - Pushed: over 7 years ago - Stars: 46 - Forks: 3

zera-x/taro

A Functional/Relational Object Store

Language: Ruby - Size: 22.5 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

HarvardPL/AbcDatalog

Datalog that's as easy as ABC.

Language: Java - Size: 861 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 38 - Forks: 7

sixthnormal/clj-3df

Clojure(Script) client for Declarative Dataflow.

Language: Clojure - Size: 229 KB - Last synced: 7 days ago - Pushed: over 4 years ago - Stars: 326 - Forks: 13

graphik-team/graal

Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:

Language: Java - Size: 464 MB - Last synced: 3 months ago - Pushed: almost 2 years ago - Stars: 43 - Forks: 12

gkastrinis/panda

A Datalog compiler and library

Language: Groovy - Size: 1.71 MB - Last synced: about 2 months ago - Pushed: almost 3 years ago - Stars: 18 - Forks: 1

ylefay/NMT_SparqlDatalog

A NMT pipeline between english and Sparql/Datalog queries.

Language: Python - Size: 79.2 MB - Last synced: 5 months ago - Pushed: 11 months ago - Stars: 2 - Forks: 0

STMicroelectronics/fp-sns-datalog1

The FP-SNS-DATALOG1 function pack provides a comprehensive solution to save data from any combination of sensors and microphones configured up to the maximum sampling rate available on STWIN and SensorTile.box

Language: C - Size: 108 MB - Last synced: 4 months ago - Pushed: 5 months ago - Stars: 4 - Forks: 0

langston-barrett/rdf-star-souffle

A toolkit for reasoning about RDF-star in Soufflé, including an OWL reasoner

Language: Rust - Size: 6.84 KB - Last synced: 4 months ago - Pushed: over 1 year ago - Stars: 3 - Forks: 0

smallhelm/level-fact-base

Store immutable facts and query them with datalog.

Language: JavaScript - Size: 131 KB - Last synced: 6 days ago - Pushed: 12 months ago - Stars: 48 - Forks: 8

quentin/aoc23-datalog

Advent of Code 2023 in Datalog

Language: Ruby - Size: 36.1 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 0

quentin/aoc22-datalog

Advent of Code 2022 in Datalog

Language: Ruby - Size: 125 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 2 - Forks: 0

niamtokik/cozo

An interface to cozodb

Language: Erlang - Size: 779 KB - Last synced: 11 days ago - Pushed: 8 months ago - Stars: 7 - Forks: 1

epost/psc-query

PureScript source code knowledge extraction and querying support.

Language: Haskell - Size: 7.81 KB - Last synced: 7 months ago - Pushed: over 6 years ago - Stars: 9 - Forks: 0

gavanitrate/ferno 📦

implementation of a Datalog query engine over the top of a Firebase Real Time Database store

Language: JavaScript - Size: 549 KB - Last synced: 7 months ago - Pushed: about 6 years ago - Stars: 1 - Forks: 0

utdb/judged

JudgeD: Probabilistic Datalog with Dependencies

Language: Python - Size: 365 KB - Last synced: 7 months ago - Pushed: over 4 years ago - Stars: 18 - Forks: 4

jacekschae/learn-datomic-course-files

🎦 Learn Datomic course files for building Cheffy REST API backed by Datomic

Language: Clojure - Size: 150 KB - Last synced: 15 days ago - Pushed: about 2 years ago - Stars: 19 - Forks: 9

Cecax27/SENTRON-PAC3200-Datalog Fork of jecrespo/Analizador-de-Red-SENTRON-PAC3200

Get data from the multimeter Siemens Sentron PAC3200 by Modbus TCP with Python

Language: Python - Size: 25.4 KB - Last synced: 4 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

nsg-ethz/synet

SyNET Network-wide Configuration Synthesis

Language: Python - Size: 9.12 MB - Last synced: 7 months ago - Pushed: over 6 years ago - Stars: 20 - Forks: 8

johnstonskj/rust-asdi

Another Simplistic Datalog Implementation (in Rust)

Language: Rust - Size: 2.28 MB - Last synced: 6 days ago - Pushed: over 1 year ago - Stars: 3 - Forks: 1

simongray/clojure-graph-resources

A curated list of Clojure resources for dealing with graph-like data.

Size: 168 KB - Last synced: 6 months ago - Pushed: almost 2 years ago - Stars: 247 - Forks: 6

jdaridis/souffle-lsp-plugin

Soufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin

Language: Java - Size: 40.2 MB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 11 - Forks: 3

langston-barrett/tree-sitter-souffle

A tree-sitter grammar for Soufflé Datalog

Language: C - Size: 434 KB - Last synced: 7 days ago - Pushed: over 1 year ago - Stars: 12 - Forks: 1

stefanicjuraj/IT-Datalog

A curated datalog of IT (ICT) companies, conferences, internships, education courses, certificates, and analytics in Croatia

Language: TypeScript - Size: 194 KB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 0

yuriqdev/WinCCflexLogViewer

WinCC Flexible and TIA Portal data log Viewer/ Parser/ Analyzer

Language: C# - Size: 2.1 MB - Last synced: 7 months ago - Pushed: almost 6 years ago - Stars: 21 - Forks: 7

EliteAvocado/iflog-lang

A declarative programming language for Textadventure-Games (also known as Interactive Fiction), inspired by the deductive language Datalog, which in itself is a syntactic subset of Prolog.

Language: Java - Size: 3.87 MB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 0

computablefacts/decima 📦

Decima is a proof-of-concept Java implementation of the probabilistic logic programming language ProbLog.

Language: Java - Size: 481 KB - Last synced: 5 months ago - Pushed: over 1 year ago - Stars: 3 - Forks: 0

linkml/linkml-datalog

Translates LinkML schemas into Datalog programs and executes them using Souffle, enabling advanced validation and inference over instance data. ALPHA.

Language: Python - Size: 705 KB - Last synced: 20 days ago - Pushed: 3 months ago - Stars: 11 - Forks: 0

aryabhatiya/friendly-lamp

FullStack Next Generation Web App

Size: 4.88 KB - Last synced: 9 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 1

hawnzug/katalog

Datalog implementation in Haskell

Language: Haskell - Size: 32.2 KB - Last synced: 9 months ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

Nan-Do/okami

Okami is a next generation solver for Datalog. It is based on specializating a Datalog's resolution technique to compile a program into a relational algebra abstract machine that is extremely efficient computing solutions for the database

Language: Python - Size: 364 KB - Last synced: 9 months ago - Pushed: almost 7 years ago - Stars: 3 - Forks: 1

gonmf/dakilang

Interpreter for the Daki logic programming language

Language: Ruby - Size: 455 KB - Last synced: 10 months ago - Pushed: about 1 year ago - Stars: 6 - Forks: 0

qdoop/fz0datalog

A Naive Datalog implementation in F#

Language: JavaScript - Size: 5.86 KB - Last synced: 10 months ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

TimoKramer/datahike-azure-ubuntu-vm

Deploying Datahike on Ubuntu VM on Azure

Language: Python - Size: 20.5 KB - Last synced: 10 months ago - Pushed: 11 months ago - Stars: 1 - Forks: 0

BorjaEst/datalog

A data logger application in erlang

Language: Erlang - Size: 39.1 KB - Last synced: 10 months ago - Pushed: almost 4 years ago - Stars: 1 - Forks: 0

eveninglily/datalog-interp

Datalog Interpreter, written in Haskell for CMSC 388F

Language: Haskell - Size: 12.7 KB - Last synced: 10 months ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

ymerkli/smart-contract-taint-analysis

Static taint analyzer for Ethereum smart contracts written in Solidity

Language: Python - Size: 218 KB - Last synced: 10 months ago - Pushed: almost 4 years ago - Stars: 3 - Forks: 0

pbonte/roxi

Reactive Reasoning

Language: Rust - Size: 28.4 MB - Last synced: 9 months ago - Pushed: over 1 year ago - Stars: 28 - Forks: 4

wernsey/Jatalog

Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation

Language: Java - Size: 146 KB - Last synced: 10 months ago - Pushed: over 5 years ago - Stars: 66 - Forks: 6