ascent
micro-datalog
| ascent | micro-datalog | |
|---|---|---|
| 4 | 2 | |
| 370 | 3 | |
| - | - | |
| 6.3 | 5.2 | |
| 20 days ago | 27 days ago | |
| Rust | Rust | |
| MIT License | - |
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
micro-datalog
What are some alternatives?
datafrog - A lightweight Datalog engine in Rust
datascript - Immutable database and Datalog query engine for Clojure, ClojureScript and JS
leanstore
warpcore - A Library for fast Hash Tables on GPUs
jsoncrack.com - ✨ Innovative and open-source visualization application that transforms various data formats, such as JSON, YAML, XML, CSV and more, into interactive graphs.
cccl - CUDA C++ Core Libraries
treeedb - Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
FuXi - Chimezie Ogbuji's FuXi reasoner. NON-FUNCTIONING, RETAINED FOR ARCHIVAL PURPOSES. For working code plus version and associated support requirements see:
NMT4RDFS - Neural Machine Translation for RDFS reasoning: code and datasets for "Deep learning for noise-tolerant RDFS reasoning" http://www.semantic-web-journal.net/content/deep-learning-noise-tolerant-rdfs-reasoning-4
xsimd - C++ wrappers for SIMD intrinsics and parallelized, optimized mathematical functions (SSE, AVX, AVX512, NEON, SVE))
crepe - Datalog compiler embedded in Rust as a procedural macro