rust-lang / datafrogLinks
A lightweight Datalog engine in Rust
☆845Updated 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☆487Updated last year
- ☆577Updated 2 years ago
- General-purpose abstractions for incremental computing, in Rust☆361Updated 3 years ago
- Logic programming in Rust☆521Updated last month
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,976Updated 3 months ago
- Assorted immutable collection datatypes for Rust☆1,557Updated last year
- An implementation of differential dataflow using timely dataflow on Rust.☆175Updated 2 weeks ago
- 📝 Web-based, reactive Datalog notebooks for data analysis and visualization☆629Updated 2 years ago
- Rust persistent data structures☆1,627Updated 3 weeks ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,466Updated 2 years ago
- A mortifying serialization library for Rust☆345Updated 2 years ago
- Rust grammar tool libraries and binaries☆565Updated last month
- a tokio-enabled data store for triple data☆380Updated last year
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,707Updated 3 weeks ago
- Capability-oriented version of the Rust standard library☆727Updated last month
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,614Updated last week
- CRDTs for common data structures like maps, vecs, sets, text, and JSON☆482Updated 7 years ago
- Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.☆1,400Updated 3 months ago
- A high-level language for Rust☆342Updated 6 years ago
- Online introspection for Rust☆418Updated 3 years ago
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆662Updated 5 months ago
- Shuttle is a library for testing concurrent Rust code☆889Updated last week
- Simple tracing (mark and sweep) garbage collector for Rust☆1,054Updated 3 months ago
- ☆800Updated 4 months ago
- ☆325Updated 3 weeks ago
- Differential dataflow for mere mortals☆526Updated 3 years ago
- Rust mid-level IR Abstract Interpreter☆1,013Updated last year
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,055Updated 8 years ago
- A pure functional language for type-level programming in Rust☆336Updated 3 years ago
- A model checker for implementing distributed systems.☆1,736Updated 4 months ago