Tractables / Juice.jl
The Juice package for circuits in artificial intelligence, both logic and probabilistic
☆12Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for Juice.jl
- Library for causal and probabilistic inference in Julia☆11Updated last year
- Logic Circuits from the Juice library☆48Updated 4 months ago
- ☆14Updated 2 years ago
- Tangent bundle, vector space and Submanifold definition☆50Updated 3 weeks ago
- Common types and interfaces for probabilistic programming☆27Updated this week
- collective tools for Julia SSA IR.☆29Updated 11 months ago
- Julia implementation of the Flash Attention algorithm☆18Updated last year
- E.T. Jaynes home phone.☆45Updated 3 years ago
- An experimental implementation of sum-product networks with dense unitary transformations in leaves☆13Updated 2 years ago
- A Petri net modeling framework for the Julia programming language☆40Updated 11 months ago
- A library for defining and efficiently solving program synthesis tasks in Julia.☆25Updated last week
- Piecewise Deterministic Sampler library (Bouncy particle sampler, Zig Zag sampler, ...)☆33Updated 3 years ago
- Matching algorithms for Graphs.jl☆16Updated last month
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆38Updated 2 months ago
- Functions for declaring and working with grammars and expression trees in Julia.☆24Updated 8 months ago
- An Abstract Reasoning Logic Interface☆15Updated 4 years ago
- ☆29Updated 2 years ago
- Package providing K-nearest neighbor regressors and classifiers, for use with the MLJ machine learning framework.☆27Updated last year
- Tape based task copying in Turing☆17Updated 3 weeks ago
- Examples for MLStyle.jl☆20Updated last year
- Julia bindings to the SAT solver picosat☆29Updated 10 months ago
- Probabilistic Circuits in Julia☆9Updated 10 months ago
- Tectonic typesetting for Julia.☆29Updated 7 months ago
- Tensor algebra abstract type interoperability setup☆43Updated 3 weeks ago
- Probabilistic programming system for fast and exact symbolic inference☆76Updated 4 months ago
- Data structures for graph neural network☆18Updated 5 months ago
- An efficient symbolic term rewriting engine☆77Updated 3 years ago
- A package for your code to understand scoping rules(including mutability of free variables).☆18Updated 2 years ago
- Curated list of high-quality operators for deep learning in Julia☆40Updated 2 years ago
- Data structures from the book *Purely Functional Data Structures*, implemented in the Julia language.☆14Updated last year