ekzhang/percival
View on GitHub ↗ ★ 638 Rust
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
5 mentions on Hacker News by 5 people: 1 story, 4 comments · first 2021-12-11 · latest 2024-01-21
20082026
-
Souffle and Cozo mentioned below already implement the whole of "traditional" datalog. Percival ( https://github.com/ekzhang/percival ) has some very nice examples showing how you can interactively write and test rules on top of a datalog…
comment by brendanyounger · 2024-01-21 · in Learn Datalog Today -
…several awesome presentations featuring datalog, which readers may find interesting [4]. [1]: https://github.com/ekzhang/percival/blob/main/crates/perciva... [2]: https://www.hytradboi.com/2022/percival-a-reactive-language-... [3]:…
comment by infogulch · 2022-12-01 · in Soufflé: A Datalog Synthesis Tool for Static Analysis -
…in percival's source code [1]. I'd assume you can't have datalog without unification :-) 1: https://github.com/ekzhang/percival
comment by emmanueloga_ · 2022-12-01 · in Soufflé: A Datalog Synthesis Tool for Static Analysis -
…error reporting for this project is implemented with `ariadne` which is also really slick. Parser: https://github.com/ekzhang/percival/blob/main/crates/perciva... Error reporting: https://github.com/ekzhang/percival/blob/main/crates/perciva…
comment by jitl · 2022-07-09 · in Chumsky, a Rust parser-combinator library with error recovery