A standalone and lightweight C library

Extremely fast non-cryptographic hash algorithm

A simple logging library implemented in C99

Hash map implementation in C.

Uniform Manifold Approximation and Projection

d4 Model Counter

Tractable Circuit Zoo

Material for the PhD course "Efficient and Reliable Neuro-Symbolic AI' at the University of Trento 2026

Fast and Expressive Multi-Byte Prediction with Probabilistic Circuits

Fair evaluation and detailed error analysis of labeled spans

SPARQL support for Zed

Repository of the article "Graph Conditional Flow Matching for Relational Data Generation"

Generalist and Lightweight Model for Relation Extraction (Extract any relationship types from text)

This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers

We integrate discrete diffusion models with neurosymbolic predictors for scalable and calibrated learning and reasoning

Python package for Sentential Decision Diagrams (SDD)

Stochastic Automatic Differentiation library for PyTorch.

Tool to perform various types of inference in probabilistic answer set programs under the credal semantics and with statistical statements.

Sparse Circuits on the GPU (ICLR2025)

Official Pytorch's implementation of RotoGrad

Stanford Drone Dataset with non-convex Constraints

gasp! - GPU Accelerated Simplical Polynomial !ntegrator

CausalFlows: A library for Causal Normalizing Flows in Pytorch

Is Comples Query Answering Complex?

Sum-of-squares Non-monotonic Probabilistic Circuits

Benchmark data repository accompanying the paper: "Einsum Benchmark: Enabling the Development of Next-Generation Tensor Execution Engines"

a python framework to build, learn and reason about probabilistic circuits and tensor networks

A massively parallel, high-level programming language

A curated list of sites with MIDI files on the Web