rust-lang / datafrogLinks
A lightweight Datalog engine in Rust
☆820Updated 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☆473Updated last year
- General-purpose abstractions for incremental computing, in Rust☆356Updated 3 years ago
- ☆568Updated 2 years ago
- Logic programming in Rust☆467Updated 3 weeks ago
- Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.☆1,349Updated 2 months ago
- Assorted immutable collection datatypes for Rust☆1,534Updated 9 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,391Updated this week
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,932Updated this week
- Rust persistent data structures☆1,499Updated last month
- A mortifying serialization library for Rust☆339Updated 2 years ago
- A parser combinator library for Rust☆1,323Updated 4 months ago
- Rust grammar tool libraries and binaries☆548Updated last week
- PEG parser combinators using operator overloading without macros.☆515Updated 4 months ago
- Use Tree Sitter to parse your own languages in Rust☆648Updated 3 weeks ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,647Updated 2 weeks ago
- ☆751Updated 3 weeks ago
- A reactive query engine built on differential dataflow.☆320Updated 5 years ago
- Refinement Types for Rust☆738Updated this week
- CRDTs for common data structures like maps, vecs, sets, text, and JSON☆477Updated 6 years ago
- Rust mid-level IR Abstract Interpreter☆1,008Updated 9 months ago
- Runtime for executing procedural macros as WebAssembly☆1,387Updated 2 weeks ago
- A pure functional language for type-level programming in Rust☆330Updated 2 years ago
- Concurrency permutation testing tool for Rust.☆2,373Updated last month
- A precise specification for "Rust lite / MIR plus"☆868Updated last week
- Shuttle is a library for testing concurrent Rust code☆798Updated last week
- Capability-oriented version of the Rust standard library☆689Updated last month
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,053Updated 8 years ago
- pure rust io_uring library, built on libc, thread & async friendly, misuse resistant☆958Updated 2 years ago
- Online introspection for Rust☆418Updated 3 years ago
- An implementation of differential dataflow using timely dataflow on Rust.☆168Updated last week