rust-lang / datafrog
A lightweight Datalog engine in Rust
☆801Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for datafrog
- Datalog compiler embedded in Rust as a procedural macro☆460Updated 8 months ago
- ☆553Updated last year
- General-purpose abstractions for incremental computing, in Rust☆345Updated 2 years ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,128Updated this week
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,841Updated 2 weeks ago
- Logic programming in Rust☆411Updated 2 weeks ago
- Assorted immutable collection datatypes for Rust☆1,497Updated 2 months ago
- Rust persistent data structures☆1,244Updated 2 months ago
- Shuttle is a library for testing concurrent Rust code☆682Updated 3 weeks ago
- Runtime for executing procedural macros as WebAssembly☆1,271Updated last week
- Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.☆1,283Updated 2 months ago
- Lisp-like DSL for Rust language☆425Updated last year
- a tokio-enabled data store for triple data☆365Updated 7 months ago
- ☆709Updated last week
- A parser combinator library for Rust☆1,300Updated 6 months ago
- Rust grammar tool libraries and binaries☆514Updated this week
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,564Updated 2 weeks ago
- Simple tracing (mark and sweep) garbage collector for Rust☆972Updated 3 months ago
- Online introspection for Rust☆414Updated 2 years ago
- Capability-oriented version of the Rust standard library☆660Updated this week
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,377Updated last year
- A precise specification for "Rust lite / MIR plus"☆818Updated 3 weeks ago
- An implementation of differential dataflow using timely dataflow on Rust.☆161Updated last week
- CRDTs for common data structures like maps, vecs, sets, text, and JSON☆476Updated 6 years ago
- Experimental high-performance actor system framework for Rust☆426Updated last year
- A mortifying serialization library for Rust☆322Updated last year
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,043Updated 7 years ago
- safe bindings to io-uring☆652Updated 3 years ago
- PEG parser combinators using operator overloading without macros.☆498Updated 8 months ago
- A pure functional language for type-level programming in Rust☆322Updated last year