stephenathel / gawxm
Geometric Algebra using wxMaxima (GAwxM)
☆12Updated last week
Alternatives and similar repositories for gawxm:
Users that are interested in gawxm are comparing it to the libraries listed below
- GluCat: Clifford algebra templates☆19Updated 3 weeks ago
- Write LaTeX-formatted documents using J evaluation☆18Updated 8 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- An Image Dictionary for Co-dfns☆14Updated 7 years ago
- The Aldor Programming Language☆34Updated last month
- adds an optional type system to J language☆21Updated 9 years ago
- High-end Cryptographic Library☆44Updated 5 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- Knowledge of classical mechanics, written in haskell.☆14Updated 12 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 2 years ago
- (in progress) Racket port of the SICM scmutils library☆35Updated 4 years ago
- Library for exact real number computations☆39Updated 10 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 10 months ago
- A geometric algebra implementation in Haskell☆29Updated 4 years ago
- Category theory in Coq, by Jason Gross☆14Updated 10 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- ☆14Updated last year
- Operations with matrices, SWI pack☆13Updated last year
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 3 years ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Latex source for geometric algebra and physics notes.☆38Updated last week
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- This repository contains the Core and Extended source files of the Standard Library of the SaC programming language☆14Updated this week
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆40Updated this week
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- Awesome Geometric Algebra☆26Updated 4 years ago
- SML Parser Combinator Library☆27Updated 8 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago