micahscopes / HyperspectivesLinks
Experiments with moebius transformations and non-euclidian perspectives.
☆12Updated 2 years ago
Alternatives and similar repositories for Hyperspectives
Users that are interested in Hyperspectives are comparing it to the libraries listed below
Sorting:
- Awesome Geometric Algebra☆28Updated 5 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Julia package for learning cellular sheaf Laplacians☆16Updated 4 years ago
- Geometric algebra library for Rust☆22Updated 7 years ago
- Javascript implementation of Fractran☆14Updated 8 years ago
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Updated 5 years ago
- Tangent bundle, vector space and Submanifold definition☆51Updated last month
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- Metamath verifier in Python☆40Updated 3 months ago
- Assorted s-expression utilities for Julia☆16Updated last year
- ACSets: Algebraic databases as in-memory data structures☆25Updated last month
- Deposited packages of the homalg project☆16Updated 2 weeks ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- Learn Lean and topology☆24Updated 2 years ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆21Updated last month
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- Latex sources for http://peeterjoot.com/writing/geometric-algebra-for-electrical-engineers/☆16Updated 2 weeks ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆31Updated last month
- A collection of formulas needed for everyday calculations in geometric algebra and calculus☆19Updated 8 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 3 years ago
- A language for writing command line interfaces in Racket☆15Updated 3 years ago
- Julia interface to GAlgebra via PyCall☆17Updated this week
- Partial differential equations using Discrete Exterior Calculus☆15Updated 5 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆32Updated last month
- A study of ecosystem in Julia, as an alternative to Matlab☆12Updated 5 years ago
- An extended typed Lambda Calculus☆21Updated last year
- 2016 Edition of the Free Encyclopedia of Mathematics (top-level repo)☆19Updated 9 years ago
- Lambda calculus go brrrr☆30Updated 2 years ago
- minimal miniKanren implementation in Julia☆23Updated 8 years ago
- IPython-based debugging and exploring - a collection of auxiliary functions☆16Updated last week