datalog topic

The CodeQL extractor and libraries for Go.

github

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

ekzhang

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

pysemtec

Securify v2.0

eth-sri

Research on integrating datalog & lambda calculus via monotonicity types

rntz

Clojure(Script) client for Declarative Dataflow.

sixthnormal

A reactive query engine built on differential dataflow.

comnik

Datalog compiler embedded in Rust as a procedural macro

ekzhang

A language for building Docker/OCI container images

pku-msv-lab

[DEPRECATED] Security Scanner for Ethereum Smart Contracts

eth-sri