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☆29Updated 5 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆55Updated 2 years ago
- Javascript implementation of Fractran☆14Updated 8 years ago
- Programs for computing beautiful pictures and animations of zeroes of polynomials.☆14Updated last year
- Julia package for learning cellular sheaf Laplacians☆16Updated 4 years ago
- A collection of formulas needed for everyday calculations in geometric algebra and calculus☆19Updated 8 years ago
- Geometric algebra library for Rust☆22Updated 7 years ago
- Metamath verifier in Python☆40Updated 6 months ago
- Lambda calculus go brrrr☆30Updated 2 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Updated 10 years ago
- Deposited packages of the homalg project☆16Updated 3 weeks ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- Open Sound Control For Julia☆24Updated 4 years ago
- A language for writing command line interfaces in Racket☆15Updated 4 years ago
- An encyclopedia of proofs☆64Updated last year
- A new language for optimization☆13Updated 4 years ago
- BQN implementation in Julia☆18Updated 3 years ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated 2 years ago
- Assorted s-expression utilities for Julia☆16Updated last year
- An extended typed Lambda Calculus☆21Updated last year
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 6 years ago
- Developing mathematics in Coq from the ground up☆24Updated last month
- Julia interface to GAlgebra via PyCall☆17Updated this week
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆23Updated last week
- Library for exact real number computations☆40Updated 10 years ago
- Owl's Differential Equation Solvers☆35Updated 4 years ago
- Free group automorphisms and train-track representative in python/sage☆12Updated 3 months ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- Animating fractional iterations in the Mandelbrot Set and Julia Sets.☆26Updated 5 years ago