ekzhang / percivalView external linksLinks
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
☆632Feb 16, 2023Updated 2 years ago
Alternatives and similar repositories for percival
Users that are interested in percival are comparing it to the libraries listed below
Sorting:
- Datalog compiler embedded in Rust as a procedural macro☆501Dec 14, 2025Updated 2 months ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,473Jul 7, 2023Updated 2 years ago
- A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!☆3,852Dec 4, 2024Updated last year
- A lightweight Datalog engine in Rust☆862Dec 14, 2025Updated last month
- Differential dataflow for mere mortals☆529Apr 14, 2022Updated 3 years ago
- A modern Prolog implementation written mostly in Rust.☆2,372Jan 15, 2026Updated 3 weeks ago
- Efficient and minimal collaborative code editor, self-hosted, no database required☆3,958Feb 2, 2025Updated last year
- Reference implementation of Knowledge Server Protocol (KSP)☆54May 13, 2020Updated 5 years ago
- Lunatic is an Erlang-inspired runtime for WebAssembly☆4,842Mar 29, 2025Updated 10 months ago
- Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program f…☆1,050Dec 10, 2025Updated 2 months ago
- Research on integrating datalog & lambda calculus via monotonicity types☆416Jun 21, 2022Updated 3 years ago
- Datalog with support for SMT queries and first-order functional programming☆165Feb 3, 2026Updated last week
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,759Updated this week
- Build UI declaratively with Datalog.☆141Jan 6, 2023Updated 3 years ago
- Engines, queries, and data for dynamic Datalog computation☆133Aug 4, 2021Updated 4 years ago
- An implementation of differential dataflow using timely dataflow on Rust.☆2,905Updated this week
- Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.☆2,078Jan 30, 2026Updated 2 weeks ago
- Connect the things you already know in your browser.☆76Jan 7, 2023Updated 3 years ago
- General-purpose abstractions for incremental computing, in Rust☆363Mar 24, 2022Updated 3 years ago
- A developer-friendly document database that grows with you, written in Rust☆1,056Jul 25, 2024Updated last year
- A reactive query engine built on differential dataflow.☆324Jan 20, 2020Updated 6 years ago
- A query engine for any combination of data sources. Query your files and APIs as if they were databases!☆2,822Updated this week
- PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement☆10,675Feb 3, 2026Updated last week
- egg is a flexible, high-performance e-graph library☆1,670Dec 4, 2025Updated 2 months ago
- 🦾 Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!☆258Jan 1, 2026Updated last month
- Logic programming in Rust☆532Oct 25, 2025Updated 3 months ago
- a datalog interpreter in typescript☆214Dec 31, 2024Updated last year
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆3,018Sep 23, 2025Updated 4 months ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆228Jan 22, 2024Updated 2 years ago
- A simple and convenient way to bundle owned data with a borrowing type.☆28Apr 22, 2022Updated 3 years ago
- Hazel, a live functional programming environment with typed holes☆1,071Updated this week
- A modular implementation of timely dataflow in Rust☆3,576Feb 7, 2026Updated last week
- Write expressive, high-performance parsers with ease.☆4,457Feb 5, 2026Updated last week
- A modern proof language☆3,719Jan 22, 2025Updated last year
- TerminusDB is a distributed, collaborative database designed for building, sharing, versioning, and reasoning on structured data.☆3,175Feb 3, 2026Updated last week
- The live data layer for apps and AI agents Create up-to-the-second views into your business, just using SQL☆6,225Feb 7, 2026Updated last week
- Enso Analytics is a self-service data prep and analysis platform designed for data teams.☆7,433Updated this week
- The Flix Programming Language☆2,587Updated this week
- Use Tree Sitter to parse your own languages in Rust☆688Jun 18, 2025Updated 7 months ago