Highlights
- Pro
Stars
Bayesian inference with probabilistic programming.
A general-purpose probabilistic programming system with programmable inference
An acausal modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning a…
Extensible, Efficient Quantum Algorithm Design for Humans.
Pre-built implicit layer architectures with O(1) backprop, GPUs, and stiff+non-stiff DE solvers, demonstrating scientific machine learning (SciML) and physics-informed machine learning methods
A code analyzer for Julia. No need for additional type annotations.
Julia bindings for the Enzyme automatic differentiator
Symbolic expressions, rewriting and simplification
Compiles Julia code to a standalone library (experimental)
A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.
Probabilistic programming via source rewriting
"Distributions" that might not add to one.
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturatio…
Probabilistic Programming with Gaussian processes in Julia
MacroTools provides a library of tools for working with Julia code and expressions.
A domain-specific probabilistic programming language for scalable Bayesian data cleaning
A Julia package for Prolog-style logic programming.
Reusable compiler infrastructure for Julia GPU backends.
Build and simulate jump equations like Gillespie simulations and jump diffusions with constant and state-dependent rates and mix with differential equations and scientific machine learning (SciML)
A parser combinator library for Julia
Sleek implementations of the ZigZag, Boomerang and other assorted piecewise deterministic Markov processes for Markov Chain Monte Carlo including Sticky PDMPs for variable selection
Julia parser, interpreter and compiler interface for the Planning Domain Definition Language (PDDL). Planners not included.
A little less conversation, a little more abstraction