rust-lang / datafrogLinks
A lightweight Datalog engine in Rust
☆840Updated 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☆482Updated last year
- General-purpose abstractions for incremental computing, in Rust☆360Updated 3 years ago
- ☆574Updated 2 years ago
- Logic programming in Rust☆506Updated last week
- Assorted immutable collection datatypes for Rust☆1,549Updated last year
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,452Updated 2 years ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,959Updated last month
- A mortifying serialization library for Rust☆343Updated 2 years ago
- a tokio-enabled data store for triple data☆379Updated last year
- An implementation of differential dataflow using timely dataflow on Rust.☆174Updated last week
- Rust persistent data structures☆1,551Updated this week
- Capability-oriented version of the Rust standard library☆714Updated 5 months ago
- Rust grammar tool libraries and binaries☆559Updated 2 weeks ago
- 📝 Web-based, reactive Datalog notebooks for data analysis and visualization☆624Updated 2 years ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,555Updated this week
- Rust mid-level IR Abstract Interpreter☆1,010Updated last year
- egraphs + datalog!☆624Updated this week
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,681Updated 2 weeks ago
- Differential dataflow for mere mortals☆524Updated 3 years ago
- Shuttle is a library for testing concurrent Rust code☆870Updated this week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆657Updated 3 months ago
- Refinement Types for Rust☆772Updated this week
- CRDTs for common data structures like maps, vecs, sets, text, and JSON☆481Updated 6 years ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,053Updated 8 years ago
- Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.☆1,385Updated last month
- A parser combinator library for Rust☆1,336Updated 8 months ago
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…☆355Updated 2 weeks ago
- A high-level language for Rust☆339Updated 6 years ago
- A model checker for implementing distributed systems.☆1,703Updated 2 months ago
- A pure functional language for type-level programming in Rust☆336Updated 2 years ago