pzinn / Macaulay2WebLinks
Macaulay2 web app with support for KaTeX and HTML output
☆18Updated last week
Alternatives and similar repositories for Macaulay2Web
Users that are interested in Macaulay2Web are comparing it to the libraries listed below
Sorting:
- Julia package for the Singular library☆34Updated this week
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 2 years ago
- YaoLang: The next DSL for Yao and quantum programs.☆31Updated 4 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆30Updated 2 weeks ago
- introduction to dataflow analysis using julia☆14Updated 4 years ago
- Mathematica package for Clifford (geometric) algebra calculations☆12Updated 2 months ago
- An efficient symbolic term rewriting engine☆77Updated 4 years ago
- ☆36Updated 3 years ago
- Tangent bundle, vector space and Submanifold definition☆50Updated 2 months ago
- Tensor algebra abstract type interoperability setup☆43Updated 6 months ago
- A collection of functionality around rooted trees to generate order conditions for Runge-Kutta methods in Julia for differential equation…☆37Updated 7 months ago
- Like a kick in the monads☆42Updated 2 years ago
- A basic wrapper to allow access to OEIS from within Julia.☆17Updated 5 years ago
- [DEPRECATED] A formatter for the Julia language powered by JuliaFormatter.jl☆38Updated last year
- The root repository for the SpectralSequences project.☆30Updated 2 months ago
- ☆28Updated 3 years ago
- Building dynamical systems compositionally☆70Updated 7 months ago
- for you with the good questions☆26Updated 3 years ago
- A simple static type checker that enforces C-style programming in Julia☆27Updated 4 months ago
- A Julia package for making figures with Asymptote and Cairo☆27Updated 4 years ago
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 7 years ago
- ☆23Updated 3 years ago
- Julia interface to Z3☆63Updated 5 months ago
- Full-featured traits in Julia. Without full features how dare I say this?☆66Updated last year
- Multivectors for geometric algebra☆24Updated 3 years ago
- Tectonic typesetting for Julia.☆29Updated 4 months ago
- Bayesian inference on wiring diagrams.☆18Updated last year
- Benchmarks for differentiable programming across languages and domains.☆40Updated this week
- A framework for composing and simulating multiphysics systems☆65Updated last week
- Julia interface to GAlgebra via PyCall☆17Updated this week