Percival mentions (3)

• Datalog in Rust

  I struggle to understand the Clojure/Datomic dialect, but I agree generally. I recommend Percival for playing around with Datalog in a friendly notebook environment online: https://percival.ink/ Although there’s no “ANSI SQL” equivalent standard across Datalog implementations, once you get a hang of the core idea it’s not too hard to understand another Datalog. I started a Percival fork that compiles the Datalog... - Source: Hacker News / about 1 year ago

• Soufflé: A Datalog Synthesis Tool for Static Analysis

  You could theoretically use Datalog anywhere you're currently using a SELECT SQL statement - it's a declarative way to produce a set of tuples given some existing sets of tuples. But, Datalog is much better at deductive reasoning compared to SQL. There's a great interactive tutorial here: https://percival.ink/ You can also see how Souffle itself can be useful in this blog post:... - Source: Hacker News / over 3 years ago

• Chumsky, a Rust parser-combinator library with error recovery

  I haven't written a parser with Chumsky, bit I've played with a little one a bit if you wanna see an example syntax. The error reporting for this project is implemented with `ariadne` which is also really slick. Parser: https://github.com/ekzhang/percival/blob/main/crates/percival/src/parser.rs Error reporting: https://github.com/ekzhang/percival/blob/main/crates/percival/src/errors.rs Datalog playground:... - Source: Hacker News / about 4 years ago

LoopFuse mentions (0)