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
- Julia package for learning cellular sheaf Laplacians☆16Updated 4 years ago
- A language for writing command line interfaces in Racket☆15Updated 3 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Javascript implementation of Fractran☆14Updated 8 years ago
- BQN implementation in Julia☆17Updated 3 years ago
- Julia interface to GAlgebra via PyCall☆17Updated this week
- Metamath verifier in Python☆40Updated 4 months ago
- Geometric algebra library for Rust☆22Updated 7 years ago
- Learn Lisp interactively!☆33Updated 10 months ago
- Assorted s-expression utilities for Julia☆16Updated last year
- a pure julia APL implementation that gets mostly "compiled out"☆66Updated 3 years ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- Deposited packages of the homalg project☆16Updated last month
- formally and easily, describe the semantics.☆13Updated 5 years ago
- An extended typed Lambda Calculus☆21Updated last year
- A DSL capable of specifying arbitrary skeletons with interrelationships, constraints, and bounded parameters☆18Updated 3 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆32Updated 2 weeks ago
- HTML DSL AFAICT☆15Updated 2 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- Unix style pipes and a lambda shorthand syntax to make your Racket code more readable.☆27Updated 4 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Updated 5 years ago
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 8 years ago
- A Scheme-like Lisp interpreter that can also run as an operating system☆20Updated 12 years ago
- Lean 4 as a scripting language in Houdini☆21Updated last year
- (early experiments toward) a version-control system for structured data☆19Updated 2 years ago
- A collection of formulas needed for everyday calculations in geometric algebra and calculus☆19Updated 8 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆33Updated 7 months ago