wbhart / AbstractAlgebra.jlLinks
Generic abstract algebra functionality in pure Julia (no C dependencies)
☆55Updated 3 years ago
Alternatives and similar repositories for AbstractAlgebra.jl
Users that are interested in AbstractAlgebra.jl are comparing it to the libraries listed below
Sorting:
- Tensor algebra abstract type interoperability setup☆44Updated 5 months ago
- An efficient symbolic term rewriting engine☆78Updated 5 years ago
- Symbolic SMT solving for Julia using Z3 on Symbolics.jl expressions☆36Updated last month
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆41Updated last month
- A generalized version of Julia generated functions @generated to allow closures in generated functions and avoid the use of runtime eval …☆90Updated 3 years ago
- Like a kick in the monads☆42Updated 3 years ago
- ☆39Updated 5 months ago
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆52Updated 2 weeks ago
- A general-purpose toolbox for efficient Kronecker-based algebra.☆92Updated last year
- Julia package for the Singular library☆35Updated this week
- Finite fields for Julia☆50Updated 3 months ago
- Tangent bundle, vector space and Submanifold definition☆51Updated 3 weeks ago
- Extremely fast generator-like alternative to Julia Channels☆40Updated 2 years ago
- Julia implementation for the BFloat16 number type☆58Updated 3 weeks ago
- A DSL for modern parsing☆47Updated last month
- Full-featured traits in Julia. Without full features how dare I say this?☆66Updated 2 years ago
- Library for compile-time computing in julia☆73Updated 2 years ago
- Functions generated at runtime without world-age issues or overhead☆108Updated this week
- A simple shared suite of common derivative definitions☆74Updated 2 years ago
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆67Updated last year
- A simple symbolic library with a pretty name 🧚🏻☆46Updated 7 years ago
- Differential equations on manifolds☆32Updated 3 weeks ago
- Pattern matching☆55Updated 3 years ago
- Immutables as mutables, mutables as immutables.☆109Updated last week
- Some useful lenses☆35Updated last week
- Vectors of unique elements, with quick reverse lookups☆25Updated 2 years ago
- Utilities to analyze Julia's method tables☆96Updated last month
- Easy modular arithmetic for Julia☆38Updated last year
- Memory-efficient immutable LightGraphs.☆35Updated last month
- Collective tools for metaprogramming on Julia Expr☆92Updated last month