rust-lang / datafrogLinks
A lightweight Datalog engine in Rust
☆826Updated 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☆474Updated last year
- General-purpose abstractions for incremental computing, in Rust☆356Updated 3 years ago
- ☆568Updated 2 years ago
- Rust persistent data structures☆1,506Updated 2 months ago
- Logic programming in Rust☆470Updated last month
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,940Updated 3 weeks ago
- Assorted immutable collection datatypes for Rust☆1,534Updated 10 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,445Updated this week
- An implementation of differential dataflow using timely dataflow on Rust.☆171Updated last week
- Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.☆1,356Updated last week
- ☆754Updated last week
- A mortifying serialization library for Rust☆339Updated 2 years ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,646Updated last week
- A reactive query engine built on differential dataflow.☆320Updated 5 years ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,438Updated last year
- A parser combinator library for Rust☆1,325Updated 4 months ago
- a tokio-enabled data store for triple data☆379Updated last year
- Shuttle is a library for testing concurrent Rust code☆815Updated this week
- Capability-oriented version of the Rust standard library☆691Updated 2 months ago
- Runtime for executing procedural macros as WebAssembly☆1,389Updated last month
- Automated property based testing for Rust (with shrinking).☆2,586Updated last month
- JSON parser which picks up values directly without performing tokenization in Rust☆634Updated 7 years ago
- Rust grammar tool libraries and binaries☆548Updated last week
- Use Tree Sitter to parse your own languages in Rust☆650Updated this week
- A precise specification for "Rust lite / MIR plus"☆874Updated 2 weeks ago
- CRDTs for common data structures like maps, vecs, sets, text, and JSON☆481Updated 6 years ago
- Lisp-like DSL for Rust language☆432Updated 2 years ago
- ☆317Updated 7 months ago
- safe bindings to io-uring☆671Updated 4 years ago
- Represent large sets and maps compactly with finite state transducers.☆1,875Updated 8 months ago