frankmcsherry / datatoadLinks
An interactive Datalog
☆36Updated this week
Alternatives and similar repositories for datatoad
Users that are interested in datatoad are comparing it to the libraries listed below
Sorting:
- An experiment in using DuckDB for a datalog / egg☆26Updated last year
- Datalog with equality for rust☆68Updated 2 weeks ago
- A Rust port of Jane Street's Incremental library.☆27Updated 6 months ago
- ☆18Updated 2 months ago
- Relational Algebra at your fingertips☆62Updated 10 years ago
- ☆30Updated this week
- FingerTree implemented in rust☆24Updated last year
- Datalog + Egg = Good☆66Updated 2 years ago
- Parser and serializer for the Turtle format☆11Updated 2 years ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆14Updated 4 years ago
- Workload generator that emulates the traffic pattern of lobste.rs☆72Updated 4 years ago
- A lightweight Datalog engine in Rust☆57Updated last month
- An open-source database inspired by Datomic☆30Updated last year
- Minimal Prolog implemented in Rust☆44Updated 9 months ago
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆41Updated 4 months ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆52Updated 3 months ago
- A general purpose relational language☆19Updated 5 years ago
- A Prolog library to connect to PostgreSQL databases☆100Updated last year
- A JS devtool orchestrator☆45Updated 3 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 6 months ago
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/☆38Updated this week
- Simple, boilerplate-free operations on tree shaped data types. Port of the Uniplate Haskell library into Rust.☆21Updated this week
- ☆18Updated 9 months ago
- Example sqlite3 Dynamic Loadable Extension in Rust - vfs and vtab modules - port of vfsstat.c☆35Updated 7 months ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- An experimental columnar arena☆43Updated 8 months ago
- Deterministic simulation of concurrency and failure in distributed systems☆39Updated last month
- self adjusting computations in rust☆136Updated 3 years ago
- ☆48Updated last month
- An Earley parser engine in Rust.☆34Updated last week