datalog

There are 23 repositories under datalog topic.

• cozodb / cozo

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

  client-servercozocozoscriptcross-platformdatabasedatalogembedded-databasegraphgraph-algorithmsgraph-databasegraphdbrelational-databasesingle-executable
  Language:Rust 3260
• xtdb

  xtdb / xtdb

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

  databasedatalogdocument-databasebitemporalimmutable-storetemporalxtdbsql
  Language:Clojure 2496
• logica

  EvgSkv / logica

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

  datalogsqlbigquerylanguageprolog-implementationprologlogicapostgresqlsqlitetrinoprestologic-programming
  Language:Jupyter Notebook 1708

• replikativ / datahike

  A fast, immutable, distributed & compositional Datalog engine for everyone.

  clojuredatabasedatahikedatalogopen-source
  Language:Clojure 1599

• 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.

  datalogddlogincrementalprogramming-languagerust
  Language:Java 1349

• 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.

  datalogstatic-code-analysissouffletranslatorlogic-programming
  Language:C++ 892
• percival

  ekzhang / percival

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

  data-visualizationdataloglogic-programmingquery-languagedslreactivevisualizationchartsnotebook
  Language:Rust 595

• eth-sri / securify2

  Securify v2.0

  ethereumsoliditystatic-analysisdatalogsecuritysmart-contractvulnerability
  Language:Solidity 580

• pysemtec / semantic-python-overview

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

  collectioncommunity-drivendatalogknowledge-graphontologyowlpythonrdfsemantic-websemanticssparqlswrl
  492

• github / codeql-go

  The CodeQL extractor and libraries for Go.

  codeqlgolanggodatalogprogram-analysisstatic-analysis
  464

• ekzhang / crepe

  Datalog compiler embedded in Rust as a procedural macro

  datalogrustsoufflestatic-analysislogic-programmingtranslator
  Language:Rust 448

• rntz / datafun

  Research on integrating datalog & lambda calculus via monotonicity types

  compilerdatalogmonotonicityprogramming-languagequerysemilatticestype-theory
  Language:TeX 384
• ascent

  s-arash / ascent

  logic programming in Rust

  rustdataloglogic-programminglatticedeclarative-language
  Language:Rust 379

• sixthnormal / clj-3df

  Clojure(Script) client for Declarative Dataflow.

  clientclojuredatalogdifferential-dataflowsrelational
  Language:Clojure 327

• comnik / declarative-dataflow

  A reactive query engine built on differential dataflow.

  datalogdifferential-dataflowsrelationalreactive-query-enginegraphql
  Language:Rust 307

• msv-lab / modus

  A language for building Docker/OCI container images

  dockerdockerfiledataloglanguagebuild-systemreproducible-builds
  Language:Rust 280

• simongray / clojure-graph-resources

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

  graphsdatalogrdfneo4jclojuregraph-theoryowlsemantic-webtriples
  272

• c-cube / datalog

  An in-memory datalog implementation for OCaml.

  datalogprologocamllogic-programmingmemoization
  Language:Prolog 254

• eth-sri / securify

  [DEPRECATED] Security Scanner for Ethereum Smart Contracts

  chainsecuritydatalogdepricatedethereumevmobsoletesecuritysmart-contractsoliditystatic-analysis
  Language:Java 216

• homebaseio / homebase-react

  The React state management library for write-heavy applications

  reactstate-managementdatabasehomebasetypescriptgraph-databasedatalogrelational-databasesjavascripthookimmutable-storedatascriptdatahikeclojureclojurescriptreact-hooksdatalog-database
  Language:Clojure 202
• eclair-lang

  luc-tielen / eclair-lang

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

  compilerdataloghaskelllogic-programmingllvm
  Language:Haskell 196

• plast-lab / doop

  The official repo of Doop, the declarative pointer analysis framework.

  doopdatalogpointer-analysisjava
  Language:Java 152

• HarvardPL / formulog

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

  dataloglogic-programmingsmtstatic-analysissymbolic-execution
  Language:Java 146

• fogfish / datalog

  simplified query engine based on logic programming paradigm

  dataloglogic-programmingknowledgeerlangsemantic-web
  Language:Erlang 135

• GaloisInc / cclyzerpp

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

  program-analysisstatic-analysispointer-analysissouffledatalogllvm
  Language:C++ 120

• luc-tielen / souffle-haskell

  Haskell bindings for the Souffle datalog language

  bindingsdataloghaskellsouffle-datalog-language
  Language:C++ 102

• plast-lab / cclyzer

  A tool for analyzing LLVM bitcode using Datalog.

  llvmdatalogcc-plus-plusanalysis-frameworkpointer-analysis
  Language:C++ 92

• etherealmachine / entish

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

  datalogroleplaying-games
  Language:TypeScript 91

• filipesilva / fdb

  Reactive database environment for your files.

  automationclojuredatabasedatalogpkmwatcher
  Language:Clojure 78

• ianthehenry / mixologician

  optimize your home bar with ✨logic programming✨

  datalogsouffle-datalog-languagesoufflecocktailslogic-programmingmixology
  Language:Prolog 75

• wernsey / Jatalog

  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation

  datalogdatalog-enginelogic-programmingevaluation-engine
  Language:Java 74

• jdormit / sicp-logic

  A Clojure implementation of the logic programming language from chapter 4 of SICP

  clojurelogic-programmingdatalogsicp
  Language:Clojure 66

• inconvergent / cl-grph

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

  common-lispdatalogfunctional-programminggraphlispincompletewipimmutabledata-structuresgenerative-artgenerattive
  Language:Common Lisp 55

• langston-barrett / treeedb

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

  datalogsoufflestatic-analysistree-sitter
  Language:Rust 53

• GaloisInc / yapall

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

  datalogpointer-analysisstatic-analysisllvmprogram-analysis
  Language:C 52

• knowsys / nemo

  A fast in-memory rule engine

  datalogrule-engine
  Language:Rust 49