datalog topic
List
datalog repositories
codeql-go
464
Stars
128
Forks
Watchers
The CodeQL extractor and libraries for Go.
percival
590
Stars
25
Forks
Watchers
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
semantic-python-overview
486
Stars
33
Forks
Watchers
(subjective) overview of projects which are related both to python and semantic technologies (RDF, OWL, Reasoning, ...)
datafun
379
Stars
15
Forks
Watchers
Research on integrating datalog & lambda calculus via monotonicity types
clj-3df
326
Stars
13
Forks
Watchers
Clojure(Script) client for Declarative Dataflow.
declarative-dataflow
305
Stars
28
Forks
Watchers
A reactive query engine built on differential dataflow.
crepe
443
Stars
16
Forks
Watchers
Datalog compiler embedded in Rust as a procedural macro
modus
279
Stars
9
Forks
Watchers
A language for building Docker/OCI container images
securify
216
Stars
50
Forks
Watchers
[DEPRECATED] Security Scanner for Ethereum Smart Contracts