#Datalog
Showing 9 of 9 repositories tagged #datalog, ranked by stars
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
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.
Securify v2.0
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
Logic programming in Rust
Datalog compiler embedded in Rust as a procedural macro
The CodeQL extractor and libraries for Go.
[DEPRECATED] Security Scanner for Ethereum Smart Contracts
the 🔵 superintelligence