Vilin97 / linear-algebra-done-rightLinks
☆11Updated 3 years ago
Alternatives and similar repositories for linear-algebra-done-right
Users that are interested in linear-algebra-done-right are comparing it to the libraries listed below
Sorting:
- An efficient symbolic term rewriting engine☆78Updated 4 years ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 3 years ago
- Tangent bundle, vector space and Submanifold definition☆51Updated last week
- Yet another Julia package for working with geometric (or Clifford) algebras.☆24Updated 5 months ago
- Julia package for the Singular library☆35Updated this week
- Multivectors for geometric algebra☆25Updated 3 years ago
- A parser combinator library for Julia☆111Updated 2 years ago
- A Julia package for Prolog-style logic programming.☆178Updated 2 years ago
- Julia interface to Z3☆70Updated 2 months ago
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆40Updated 2 months ago
- A framework for composing and simulating multiphysics systems☆78Updated 2 weeks ago
- Computing with B-series in Julia☆30Updated last week
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆50Updated 3 weeks ago
- Two-based indexing☆65Updated 8 years ago
- Benchmarks for differentiable programming across languages and domains.☆47Updated last week
- Define a Parsing Expression Grammar via a macro and abuse of Julia syntax.☆33Updated 7 months ago
- Python implementation of the monster group☆54Updated 3 weeks ago
- A Julia port of the Lark parser☆50Updated 3 weeks ago
- My personal fork of the Nemo project. The official repository is at https://github.com/Nemocas/Nemo.jl☆97Updated 3 years ago
- A formatter for Julia that doesn't need a Julia runtime☆29Updated 3 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- Ion - a CLI toolbox for Julia developers☆65Updated 2 years ago
- A symbolic math library written in Julia modelled off scmutils☆109Updated 4 years ago
- Simple and efficient SDF calculation.☆27Updated 2 years ago
- Binaries for mathematicians☆10Updated 7 months ago
- Differential forms in Julia☆14Updated last year
- Voronoi tesselations in Julia☆34Updated 2 years ago
- Compiled parser combinators and regular expressions in pure julia☆79Updated last week
- A library for defining and efficiently solving program synthesis tasks in Julia.☆35Updated 2 weeks ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated 2 years ago