8 Repositories
Rust datalog Libraries
A general-purpose, transactional, relational database that uses Datalog and focuses on graph data and algorithms
cozo A general-purpose, transactional, relational database that uses Datalog for query and focuses on graph data and algorithms. Features Relational d
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
treeedb treeedb makes it easier to start writing a source-level program analysis in Soufflé Datalog. First, treeedb generates Soufflé types and relati
An incremental programming language
Differential Datalog (DDlog) DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously upd
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.
Welcome! This is the official repository for the Soufflé language project. The Soufflé language is similar to Datalog (but has terms known as records)
A lightweight Datalog engine in Rust
datafrog Datafrog is a lightweight Datalog engine intended to be embedded in other Rust programs. Datafrog has no runtime, and relies on you to build
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
Percival is a declarative data query and visualization language. It provides a reactive, web-based notebook environment for exploring complex datasets, producing interactive graphics, and sharing results.
A scalable differentiable probabilistic Datalog engine, with Rust
Scallop A scalable probabilistic datalog engine with Rust. Usage The Scallop system is best integrated inside of the Rust context. With scallop! { ...