Stars
⚙️ A conflict-driven nogood learning answer set solver
Hydra is the development repository for the Bella knowledge compiler and the Cara #SAT solver
A knowledge compiler for wDNNF, pwDNNF, nwDNNF and (s)d-DNNF circuits
Graph database implementing the RDF and SPARQL standards. Very fast and scales to more than a trillion triples on a single commodity machine
Kompyle, a python library providing an interface to several d-DNNF knowledge compilers.
Python package for Sentential Decision Diagrams (SDD)
An extremely fast Python package and project manager, written in Rust.
Functional tensors for probabilistic programming
Probabilistic programming with NumPy powered by JAX for autograd and JIT compilation to GPU/TPU/CPU.
Deep universal probabilistic programming with Python and PyTorch
An experimental library for metaprogramming with algebraic effects and handlers
Framework and Language for Neurosymbolic Programming.
The Gradient of Algebraic Model Counting (AAAI2025)
a python framework to build, learn and reason about probabilistic circuits and tensor networks
Semirings are a powerful unifying abstraction for dynamic programming algorithms
Tensors and Dynamic neural networks in Python with strong GPU acceleration
Hyper optimized contraction trees for large tensor networks and einsums
Command Line Artificial Intelligence or CLAI is an open-sourced project from IBM Research aimed to bring the power of AI to the command line interface.
A tiny scalar-valued autograd engine and a neural net library on top of it with PyTorch-like API
🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.
Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
A set of utilities designed for incremental building, merging and optimization of data transformations.