Tractables / Juice.jlView external linksLinks
The Juice package for circuits in artificial intelligence, both logic and probabilistic
☆12Mar 8, 2022Updated 3 years ago
Alternatives and similar repositories for Juice.jl
Users that are interested in Juice.jl are comparing it to the libraries listed below
Sorting:
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- Implementation of Bayesian Sum-Product Networks☆13May 19, 2020Updated 5 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Feb 7, 2020Updated 6 years ago
- Probabilistic Circuits from the Juice library☆106Jun 10, 2024Updated last year
- Julia Relevance Stacktrace FOR THE SUCCESS!☆18Oct 2, 2024Updated last year
- Probabilistic programming system for fast and exact symbolic inference☆85Jul 10, 2024Updated last year
- DSL for probabilistic models specification and probabilistic programming.☆44Jan 30, 2026Updated 2 weeks ago
- Paper: The simple essence of automatic differentiation☆23Nov 9, 2018Updated 7 years ago
- PyTorch implementation for "Probabilistic Circuits for Variational Inference in Discrete Graphical Models", NeurIPS 2020☆17Oct 11, 2021Updated 4 years ago
- Evaluate catch22 time-series features in Julia☆20Mar 10, 2025Updated 11 months ago
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆51Feb 6, 2024Updated 2 years ago
- ☆20May 12, 2022Updated 3 years ago
- Common types and interfaces for probabilistic programming☆28Jan 25, 2026Updated 2 weeks ago
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆32Sep 9, 2025Updated 5 months ago
- Experimentation framework for Popper☆25Jul 24, 2025Updated 6 months ago
- A set of tools for analyzing languages via logic and automata☆27Aug 14, 2025Updated 5 months ago
- Annotator that adds scope information to an ast☆26Jun 23, 2025Updated 7 months ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆43Updated this week
- Genetic program repair using GHC☆33May 16, 2024Updated last year
- An emoji-based 2D dungeon crawler with live coding interface☆27Mar 20, 2022Updated 3 years ago
- A program for making zooming slides in figma.☆41Jul 1, 2025Updated 7 months ago
- Recurrent Convolutional Memory Network (in progress)☆29Apr 16, 2016Updated 9 years ago
- Functional reactive programming extensions library for Julia☆218Jan 16, 2026Updated 3 weeks ago
- ☆44Apr 5, 2023Updated 2 years ago
- Radiocarbon calibration command line tool and Haskell module☆11Nov 24, 2025Updated 2 months ago
- Muestrario de estructuras de datos☆14Mar 12, 2020Updated 5 years ago
- A MathOptInterface Optimizer to solve JuMP models using GAMS☆35Jan 5, 2026Updated last month
- Sum-product networks in Julia.☆37Dec 13, 2022Updated 3 years ago
- Multivariate kernel density estimation☆36Feb 23, 2025Updated 11 months ago
- ☆12Nov 22, 2024Updated last year
- OptiVerse is a comprehensive open-source Python library dedicated to exploring the vast universe of optimization techniques to solve real…☆12Feb 15, 2025Updated 11 months ago
- GPU-accelerated first-order low-rank SDP solver☆13Mar 17, 2025Updated 10 months ago
- This is a physics course slides created with Eagle.js.☆12Nov 19, 2025Updated 2 months ago
- A Simple Web Crawler from Scratch.☆11Dec 2, 2017Updated 8 years ago
- Implementation of Implicit Reparameterization Trick☆11Dec 2, 2024Updated last year
- Comparing performance and results of mcmc options using Julia☆38Aug 27, 2021Updated 4 years ago
- Logging sinks and utilites for interactive terminals☆43Apr 24, 2023Updated 2 years ago
- Time Integration Package☆11Dec 17, 2024Updated last year
- Cuenca - Python client library☆12Feb 6, 2026Updated last week