pydatalog | gdlog | |
---|---|---|
1 | 1 | |
14 | 57 | |
- | - | |
10.0 | 6.0 | |
over 11 years ago | 24 days ago | |
Python | Cuda | |
GNU Lesser General Public License v3.0 only | 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.
pydatalog
gdlog
What are some alternatives?
treeedb - Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
virtuoso-opensource - Virtuoso is a high-performance and scalable Multi-Model RDBMS, Data Integration Middleware, Linked Data Deployment, and HTTP Application Server Platform
cccl - CUDA C++ Core Libraries
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