Stars
Solve optimization problems containing piecewise linear functions
Extension for dealing with parameters
Julia library providing tracking of floating point errors through a program resources
Inspect the contents of Julia package cache files
Utilities to analyze Julia's method tables
Reduce time-to-first-execution of Julia code
Provide insights about latency (TTFX) for Julia packages
Julia code snippets inspired by the Little Book Of Semaphores
Utilities for testing custom AD primitives.
Repository for automatic differentiation backend types
An interface to various automatic differentiation backends in Julia.
An abstract interface for automatic differentiation.
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturatio…
Symbolic expressions, rewriting and simplification
Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert
AD-backend agnostic system defining custom forward and reverse mode rules. This is the light weight core to allow you to define rules for your functions in your packages, without depending on any p…
Abstract julia interfaces for working with trees
Provides for the creation, reading and writing of SPDX files in multiple file formats. Written in pure Julia.
Fixed-size multidimensional arrays. An Array-like type with less indirection at the cost of resizing capability.
A computer algebra system for propositional logic