rust-lang / datafrogLinks
A lightweight Datalog engine in Rust
☆842Updated 3 years ago
Alternatives and similar repositories for datafrog
Users that are interested in datafrog are comparing it to the libraries listed below
Sorting:
- Datalog compiler embedded in Rust as a procedural macro☆483Updated last year
- General-purpose abstractions for incremental computing, in Rust☆360Updated 3 years ago
- ☆575Updated 2 years ago
- Logic programming in Rust☆510Updated 2 weeks ago
- Assorted immutable collection datatypes for Rust☆1,551Updated last year
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,968Updated last month
- A mortifying serialization library for Rust☆344Updated 2 years ago
- a tokio-enabled data store for triple data☆380Updated last year
- Capability-oriented version of the Rust standard library☆715Updated 6 months ago
- An implementation of differential dataflow using timely dataflow on Rust.☆175Updated 3 weeks ago
- Rust grammar tool libraries and binaries☆561Updated last week
- Rust persistent data structures☆1,588Updated 2 weeks ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,570Updated last week
- CRDTs for common data structures like maps, vecs, sets, text, and JSON☆482Updated 7 years ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,455Updated 2 years ago
- Shuttle is a library for testing concurrent Rust code☆871Updated last week
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,688Updated 3 weeks ago
- Use Tree Sitter to parse your own languages in Rust☆674Updated 4 months ago
- Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.☆1,386Updated last month
- A parser combinator library for Rust☆1,338Updated 8 months ago
- 📝 Web-based, reactive Datalog notebooks for data analysis and visualization☆625Updated 2 years ago
- PEG parser combinators using operator overloading without macros.☆520Updated 9 months ago
- A reactive query engine built on differential dataflow.☆322Updated 5 years ago
- Refinement Types for Rust☆783Updated this week
- Rust mid-level IR Abstract Interpreter☆1,011Updated last year
- An experimental serialization system written in Rust☆281Updated 2 years ago
- A better compressed bitset in Rust☆857Updated last month
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆661Updated 4 months ago
- ☆324Updated 11 months ago
- ☆785Updated 2 months ago