Datalog with support for SMT queries and first-order functional programming
7 daysStars18124h gain0Score0.0
Search
Find trending repositories by name or description.
4 results for “datalog”
RankRepository7 daysStars24h gainScore
Versioned, fast, distributed Datalog engine for everyone.
7 daysStars1.8k24h gain-Score0.0
TerminusDB is a Knowledge Graph Database with Version Control. Time-travel, reason, collaborate, branch, merge, diff, and query your data with Datalog.
7 daysStars3.5k24h gain-Score0.0
egraphs + datalog!
7 daysStars87024h gain-Score0.0