Tractables / LogicCircuits.jlView external linksLinks
Logic Circuits from the Juice library
☆50Jun 15, 2024Updated last year
Alternatives and similar repositories for LogicCircuits.jl
Users that are interested in LogicCircuits.jl are comparing it to the libraries listed below
Sorting:
- Probabilistic Circuits from the Juice library☆106Jun 10, 2024Updated last year
- Probabilistic Circuits in Julia☆10Dec 27, 2023Updated 2 years ago
- The Juice package for circuits in artificial intelligence, both logic and probabilistic☆12Mar 8, 2022Updated 3 years ago
- Logistic Circuits☆36Jul 10, 2019Updated 6 years ago
- First-order knowledge compilation for lifted probabilistic inference☆11Jun 14, 2017Updated 8 years ago
- Lossless compression using Probabilistic Circuits☆16Mar 10, 2022Updated 3 years ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆86Mar 15, 2025Updated 10 months ago
- Bayesian inference on wiring diagrams.☆18Sep 28, 2023Updated 2 years ago
- Resumable and copyable functions a.k.a. coroutines for Julia, with optional function-specific globals.☆21Dec 28, 2025Updated last month
- ☆20Jan 20, 2026Updated 3 weeks ago
- Gradient Descent optimizers for Julia☆12May 26, 2020Updated 5 years ago
- Approximations for Gaussian processes: sparse variational inducing point approximations, Laplace approximation, ...☆37Jul 14, 2024Updated last year
- Backward-filtering forward-guiding with StochasticDiffEq.jl☆12Feb 23, 2024Updated last year
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆51Feb 6, 2024Updated 2 years ago
- Simple partially ordered sets for Julia☆10Jul 29, 2024Updated last year
- Package for the propagation of representations of low-rank matrices through finite compositions of common operations.☆23Mar 29, 2024Updated last year
- It's interpreters all the way down.☆13May 12, 2021Updated 4 years ago
- A toolkit for optimizing Julia code that uses statically sized iterators.☆15Jan 31, 2026Updated last week
- Abstract type and interface definition for quantum circuit blocks.☆17Nov 9, 2021Updated 4 years ago
- ULP testing for Floating Point special functions.☆15Dec 10, 2023Updated 2 years ago
- A tool for exploring and visualizing Julia code☆25May 18, 2022Updated 3 years ago
- ☆24Jun 12, 2023Updated 2 years ago
- Reasoning over weighted algebraic and logical constraints☆26Updated this week
- Providing probability distributions and non-negative measures over finite sets, whose elements are labelled.☆15Dec 1, 2025Updated 2 months ago
- Automate common struct definition boilerplate☆17Oct 29, 2025Updated 3 months ago
- Couplings for Multinomial Hamiltonian Monte Carlo☆16Mar 3, 2025Updated 11 months ago
- An Abstract Reasoning Logic Interface☆15Oct 16, 2020Updated 5 years ago
- Provides likelihood functions for Gaussian Processes.☆44Jul 21, 2024Updated last year
- An experimental implementation of sum-product networks with dense unitary transformations in leaves☆13Sep 8, 2022Updated 3 years ago
- some useful steps in tests 👣☆49Feb 5, 2026Updated last week
- Base package for the GeoStats.jl framework☆26Feb 1, 2026Updated last week
- no more 🐱🐱☆21Dec 15, 2025Updated last month
- ☆18Sep 14, 2021Updated 4 years ago
- Automatically convert Julia methods to Gen functions.☆48Jun 10, 2021Updated 4 years ago
- Dice Language Support for VS Code☆10Sep 29, 2020Updated 5 years ago
- ☆16Jun 18, 2021Updated 4 years ago
- A package for temporal point process modeling, simulation and inference☆23Jan 14, 2026Updated 3 weeks ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 2 years ago
- Julia implementation of elliptical slice sampling.☆16Dec 4, 2025Updated 2 months ago