ascent
datafrog
ascent | datafrog | |
---|---|---|
4 | 7 | |
370 | 781 | |
- | 2.4% | |
6.3 | 0.0 | |
19 days ago | over 2 years ago | |
Rust | Rust | |
MIT License | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
ascent
- Datalog in 100 lines of JavaScript (2022)
-
Databases are the endgame for data-oriented design
A datalog engine like https://github.com/s-arash/ascent is worth looking at.
-
GDlog: A GPU-Accelerated Deductive Engine
Sounds awesome--feel free to get in touch with us (the authors of this paper) and share your progress. We have a similar single-node Datalog engine in Rust, it would be cool to benchmark your results against parallel Ascent (https://github.com/s-arash/ascent).
-
Datafrog: A lightweight Datalog engine in Rust
I think people should look at Ascent [1]. I love the way it embeds Rust seamlessly. It's like JSX for Datalog/Rust.
[1]: https://github.com/s-arash/ascent
datafrog
- Datafrog: A lightweight Datalog engine in Rust
-
Differential Datalog: a programming language for incremental computation
What is the difference with https://github.com/rust-lang/datafrog? It’s a Datalog engine written by Frank McSherry on top of differential dataflow, that’s used here also
-
Announcing: MiniRust
C++ is arguably the most complex programming language ever. There is not much to be gained by comparing against the supremum.
Take a look at the languages that rust was influenced by (https://en.wikipedia.org/wiki/Rust_(programming_language)) those aren't languages with straightforward compilation semantics.
There is a reason why rust has a datalog engine build into the compiler (https://github.com/rust-lang/datafrog). Which is imho totally rad and awesome, but really hard to fully form a mental model of without a spec.
-
Help with iterator efficiency
Datalog may be obscure, but its actually what the next generation of the borrow checker is going to be implemented in, you may find inspiration here: https://github.com/rust-lang/datafrog
- Scryer-Prolog: modern Prolog implementation written mostly in Rust
-
Differential Dataflow for Mere Mortals
They used to but Frank McSherry (author of differential dataflow) wrote them a specialized version without all the dataflow infrastructure [1]. It's part of the rust-lang nursery [2] now but hasn't been updated in a while, so I'm not sure what happened to it.
[1] https://github.com/frankmcsherry/blog/blob/master/posts/2018...
[2] https://github.com/rust-lang/datafrog
What are some alternatives?
leanstore
polonius - Defines the Rust borrow checker.
warpcore - A Library for fast Hash Tables on GPUs
dida - Differential dataflow for mere mortals
jsoncrack.com - ✨ Innovative and open-source visualization application that transforms various data formats, such as JSON, YAML, XML, CSV and more, into interactive graphs.
psac - Parallel Self-Adjusting Computation
cccl - CUDA C++ Core Libraries
database-stream-processor - Streaming and Incremental Computation Framework
treeedb - Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
datalog_rust
FuXi - Chimezie Ogbuji's FuXi reasoner. NON-FUNCTIONING, RETAINED FOR ARCHIVAL PURPOSES. For working code plus version and associated support requirements see:
a-mir-formality - a model of MIR and the Rust type/trait system