A computer algebra system for propositional logic
MIT License
Bot releases are hidden (Show)
Published by jakobjpeters 7 months ago
Published by jakobjpeters about 1 year ago
MDPs and POMDPs in Julia - An interface for defining, solving, and simulating fully and partially...
Darcy flow and reservoir simulator based on Jutul.jl
A framework for applied category theory in the Julia language
A Julia package for Prolog-style logic programming.
Multi-language suite for high-performance solvers of differential equations and scientific machin...
Convert julia objects to LaTeX equations, arrays or other environments.
Julia Animations and Visualizations
Probabilistic programming via source rewriting
Library for the numerical simulation of open quantum systems.
Symbolic expressions, rewriting and simplification
Geometric methods for Cluster Analysis
Trust-region methods with partitioned quasi-Newton approximations
A Julia package to construct orthogonal polynomials, their quadrature rules, and use it with poly...
Julia's CUTEst Interface
The Julia to Typst interface