micahscopes / Hyperspectives
Experiments with moebius transformations and non-euclidian perspectives.
☆12Updated last year
Related projects: ⓘ
- Awesome Geometric Algebra☆23Updated 4 years ago
- A Symbolic Code Algebra+Calculus system for VS Code☆29Updated 2 years ago
- Geometric algebra library for Rust☆20Updated 6 years ago
- repo for fashion business/ideas/etc.☆22Updated 4 years ago
- ☆15Updated this week
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.☆10Updated 3 years ago
- Exploring the Klein Quartic's geometry.☆28Updated 9 months ago
- 👨🏻💻 Command line interface for user input☆36Updated 4 years ago
- Multinomials for the Mathematical Components library.☆14Updated 2 months ago
- tiny experimental language for limited environments☆14Updated last year
- MPP: a meta preprocessor that blends programming languages☆33Updated last year
- BQN implementation in Julia☆16Updated 2 years ago
- My master's thesis, on the algebra of topological quantum computing☆20Updated 10 years ago
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Updated last year
- Like the Programming Languages Zoo but with esoteric languages.☆26Updated 4 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 4 years ago
- Visualiser for basic geometric primitives and fractals in arbitrary-dimensional spaces☆40Updated 7 years ago
- OBSOLETE, ARCHIVED mirror of the OCaml manual☆15Updated last year
- A collection of formulas needed for everyday calculations in geometric algebra and calculus☆16Updated 7 years ago
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆19Updated last year
- Connect Owl with other accelerators and numerical frameworks with symbolic maths☆18Updated 2 years ago
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆13Updated 3 years ago
- A new language for optimization☆13Updated 3 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆16Updated last year
- A small CLI to launch notifications at a given time☆14Updated 4 years ago
- Julia interface to GAlgebra via PyCall☆14Updated this week
- Julia implementation of https://github.com/ulfjack/ryu☆10Updated 4 years ago
- Metamath verifier in Python☆35Updated 5 months ago
- Naive interpreter for a Python like language☆14Updated 2 years ago