rust-lang / datafrogLinks
A lightweight Datalog engine in Rust
☆861Updated last month
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☆500Updated last month
- General-purpose abstractions for incremental computing, in Rust☆363Updated 3 years ago
- ☆578Updated 2 years ago
- Logic programming in Rust☆528Updated 3 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,980Updated 5 months ago
- Assorted immutable collection datatypes for Rust☆1,569Updated last year
- A mortifying serialization library for Rust☆346Updated 3 years ago
- a tokio-enabled data store for triple data☆379Updated last year
- Rust persistent data structures☆1,660Updated 2 months ago
- Capability-oriented version of the Rust standard library☆739Updated last week
- Rust grammar tool libraries and binaries☆572Updated last week
- Shuttle is a library for testing concurrent Rust code☆907Updated last week
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,472Updated 2 years ago
- Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.☆1,420Updated last month
- An implementation of differential dataflow using timely dataflow on Rust.☆176Updated 2 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,729Updated last week
- CRDTs for common data structures like maps, vecs, sets, text, and JSON☆482Updated 7 years ago
- A precise specification for "Rust lite / MIR plus"☆956Updated this week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆672Updated 7 months ago
- Rust mid-level IR Abstract Interpreter☆1,010Updated last year
- PEG parser combinators using operator overloading without macros.☆522Updated last year
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,723Updated this week
- Refinement Types for Rust☆817Updated last week
- 📝 Web-based, reactive Datalog notebooks for data analysis and visualization☆631Updated 2 years ago
- Simple tracing (mark and sweep) garbage collector for Rust☆1,057Updated last week
- A reactive query engine built on differential dataflow.☆322Updated 6 years ago
- A better compressed bitset in Rust☆894Updated 2 weeks ago
- A model checker for implementing distributed systems.☆1,769Updated 6 months ago
- safe bindings to io-uring☆681Updated 4 years ago
- A pure functional language for type-level programming in Rust☆338Updated 3 years ago