gdlog | pydatalog | |
---|---|---|
1 | 1 | |
57 | 14 | |
- | - | |
6.0 | 10.0 | |
about 1 month ago | about 11 years ago | |
Cuda | Python | |
MIT License | GNU Lesser General Public License v3.0 only |
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.
gdlog
pydatalog
What are some alternatives?
treeedb - Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
cccl - CUDA C++ Core Libraries
virtuoso-opensource - Virtuoso is a high-performance and scalable Multi-Model RDBMS, Data Integration Middleware, Linked Data Deployment, and HTTP Application Server Platform
DOKSparse - sparse DOK tensors on GPU, pytorch
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))
FuXi - Chimezie Ogbuji's FuXi reasoner. NON-FUNCTIONING, RETAINED FOR ARCHIVAL PURPOSES. For working code plus version and associated support requirements see:
warpcore - A Library for fast Hash Tables on GPUs
crepe - Datalog compiler embedded in Rust as a procedural macro