charles-river-analytics / Scruff.jl
Scruff.jl
☆34Updated this week
Related projects: ⓘ
- Build Petri net models compositionally☆72Updated 2 months ago
- A little less conversation, a little more abstraction☆87Updated 2 years ago
- Building dynamical systems compositionally☆65Updated last week
- A julia package for representing and manipulating model semantics☆77Updated 4 years ago
- Causal, Higher-Order, Probabilistic Programming☆162Updated last year
- A Petri net modeling framework for the Julia programming language☆40Updated 10 months ago
- ☆65Updated last year
- Automatically convert Julia methods to Gen functions.☆47Updated 3 years ago
- Online inference on reactive probabilistic models, with SMC and symbolic methods☆15Updated last year
- Implementation of advanced Sequential Monte Carlo and particle MCMC algorithms☆56Updated 2 weeks ago
- E.T. Jaynes home phone.☆45Updated 3 years ago
- Relational Algebra, now with more algebra!☆48Updated 10 months ago
- Probabilistic programming system for fast and exact symbolic inference☆76Updated 2 months ago
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆63Updated 2 weeks ago
- WIP successor to Soss.jl☆75Updated last year
- Julia bindings to the SAT solver picosat☆29Updated 8 months ago
- High-performance reactive message-passing based Bayesian inference engine☆100Updated this week
- Sleek implementations of the ZigZag, Boomerang and other assorted piecewise deterministic Markov processes for Markov Chain Monte Carlo i…☆100Updated 2 years ago
- Julia package for automatically generating Bayesian inference algorithms through message passing on Forney-style factor graphs.☆149Updated last year
- A playground for evolutionary computation in Julia☆24Updated 3 months ago
- I never metagraph I didn't like.☆94Updated 2 years ago
- A Julia package for high-throughput manipulation of structured signal data across arbitrary domain-specific encodings, file formats and s…☆67Updated last week
- Building blocks for simple and advanced particle filtering in Gen.☆22Updated 6 months ago
- Reachability analysis for closed-loop control systems in Julia☆44Updated last week
- Julia interface to Z3☆57Updated 3 months ago
- Implementation of domain-specific language (DSL) for dynamic probabilistic programming☆157Updated this week
- Neural Network based models for Natural Language Processing☆30Updated 10 months ago
- Automated Bayesian model discovery for time series data☆60Updated 8 months ago
- Robust implementation for random-walk Metropolis-Hastings algorithms☆88Updated last month
- Featherweight embedded probabilistic programming language and compositional inference programming library☆17Updated 4 years ago