Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming
OTHER License
A Julia package for simulation, inference and learning of Hidden Markov Models.
A Julia framework for invertible neural networks
Julia package for fuzzy inference
Library for multidimensional numerical integration with four independent algorithms: Vegas, Suave...
ODE integration using Taylor's method, and more, in Julia
Julia package for ecosystem simulation
A Julia package for Adaptive Resonance Theory (ART) algorithms.
Gaussian Process package based on data augmentation, sparsity and natural gradients
Clique recycling non-Gaussian (multi-modal) factor graph solver; also see Caesar.jl.
Computing reachable states of dynamical systems in Julia
A computer algebra system for propositional logic
Exact real arithmetic using Dedekind cuts
Julia package for diversity measurement
An implementation of the Bloch-McConnell equations for simulating MR spin dynamics.
Polyhedral Computation Interface