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
- Geometric algebra library for Rust☆22Updated 7 years ago
- Javascript implementation of Fractran☆14Updated 8 years ago
- A language for writing command line interfaces in Racket☆15Updated 3 years ago
- Julia interface to GAlgebra via PyCall☆17Updated last week
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated 2 years ago
- JavaScript MOOC simulations for the edX class Quantum Mechanics for Everyone provided by Georgetown University☆18Updated 8 years ago
- Julia package for learning cellular sheaf Laplacians☆16Updated 4 years ago
- repo for fashion business/ideas/etc.☆22Updated 5 years ago
- Like the Programming Languages Zoo but with esoteric languages.☆25Updated 5 years ago
- Owl's Differential Equation Solvers☆35Updated 3 years ago
- Turing patterns simulation solver for the GeoStats.jl framework☆28Updated 3 weeks ago
- Assorted s-expression utilities for Julia☆16Updated last year
- A collection of formulas needed for everyday calculations in geometric algebra and calculus☆19Updated 8 years ago
- A Symbolic Code Algebra+Calculus system for VS Code☆31Updated 3 years ago
- BQN implementation in Julia☆18Updated 3 years ago
- Naive interpreter for a Python like language☆15Updated 3 years ago
- Modifications of Niles Johnson's Hopf Fibration drawing code☆38Updated 11 years ago
- Manipulate music data, humanize, quantize and analyze music performances with Julia☆48Updated last year
- Fork of the GNU Multiple Precision Arithmetic Library (GMP), suitable for compilation into WebAssembly.☆18Updated 4 years ago
- Visualising straight lines (geodesics) on the pseudosphere and related geometries.☆14Updated 2 years ago
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Updated 2 years ago
- Library for exact real number computations☆40Updated 10 years ago
- Developing mathematics in Coq from the ground up☆23Updated last week
- Open Sound Control For Julia☆24Updated 4 years ago
- Yet another implementation of fork&exec and related functionality☆11Updated last month
- a datastructure for scalable combinatorial syntax☆19Updated 8 months ago
- RPC client/server for Irmin☆19Updated 4 years ago
- A visual programming language, evaluated as a cellular automaton☆64Updated last month
- Deposited packages of the homalg project☆16Updated 2 months ago