aerobus-open-source / aerobus
A C++ template library for polynomials algebra over discrete integral domains
☆11Updated 2 months ago
Alternatives and similar repositories for aerobus:
Users that are interested in aerobus are comparing it to the libraries listed below
- Compiler with automatic differentiation☆46Updated last year
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Benchmarks for differentiable programming across languages and domains.☆13Updated this week
- DependoBuf - a data serialization format with dependent types☆16Updated 4 months ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 2 years ago
- Tape based task copying in Turing☆19Updated 2 weeks ago
- ☆28Updated 3 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆27Updated 3 weeks ago
- Arithmetic with small and with very large rationals is made fast.☆22Updated last year
- ACSets: Algebraic databases as in-memory data structures☆23Updated 3 weeks ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆26Updated 6 years ago
- "Maybe we have our own magic."☆47Updated 4 years ago
- Like a kick in the monads☆42Updated 2 years ago
- Bayesian inference on wiring diagrams.☆18Updated last year
- introduction to dataflow analysis using julia☆14Updated 4 years ago
- Julia library to manipulate MLIR dialects.☆59Updated 2 months ago
- An efficient symbolic term rewriting engine☆77Updated 4 years ago
- A library for defining and efficiently solving program synthesis tasks in Julia.☆28Updated this week
- Julia implementation of HyperDualNumbers☆42Updated 2 years ago
- Flexible and performant GEMM kernels in Julia☆80Updated 4 months ago
- Groebner bases in (almost) pure Julia☆70Updated last week
- for you with the good questions☆26Updated 3 years ago
- Tangent bundle, vector space and Submanifold definition☆50Updated 3 weeks ago
- A collection of functionality around rooted trees to generate order conditions for Runge-Kutta methods in Julia for differential equation…☆37Updated 5 months ago
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Updated 5 years ago
- ☆62Updated last month
- A verified tensor library in Lean☆20Updated this week
- ☆23Updated 2 years ago
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆38Updated 4 months ago