Alternatives and similar repositories for Hyperspectives:

Users that are interested in Hyperspectives are comparing it to the libraries listed below

• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆26Updated 4 years ago
• zalo / Symplex
  A Symbolic Code Algebra+Calculus system for VS Code
  ☆29Updated 2 years ago
• mwalczyk / pga-axioms
  Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.
  ☆12Updated 3 years ago
• mbuliga / quinegraphs
  Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
  ☆19Updated last year
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated last month
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆17Updated last year
• owlbarn / owl_opt
  Numerical Optimisation Library
  ☆16Updated last year
• silky / fashion
  repo for fashion business/ideas/etc.
  ☆22Updated 5 years ago
• LaurentMazare / ocaml-minipy
  Naive interpreter for a Python like language
  ☆13Updated 3 years ago
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆16Updated 3 years ago
• Limeth / hestenes
  Geometric algebra library for Rust
  ☆21Updated 6 years ago
• ocaml / MPP-language-blender
  MPP: a meta preprocessor that blends programming languages
  ☆32Updated last year
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 4 years ago
• c-cube / quip
  [wip] Proof format and checker for first-order and higher-order theorem provers
  ☆12Updated last year
• otherjoel / bookcover
  📘⌨️ A Racket #lang and module for making cover PDFs for printed things.
  ☆22Updated last year
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• linoscope / okasaki-book-ocaml
  Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.
  ☆12Updated 3 years ago
• 4y8 / esoo
  Like the Programming Languages Zoo but with esoteric languages.
  ☆25Updated 4 years ago
• basics / vector
  This library provides 3D Vector in js including arithmetic operator overloading (+ - * / % **).
  ☆14Updated this week
• scottcheng / si-reason
  3D connect four written in Reason
  ☆16Updated 3 years ago
• hatashiro / s-exify
  Beautifier for S-expression, mainly for WAT
  ☆11Updated 4 years ago
• dsheets / gloc
  Shader Toolchain targeting WebGL/ESSL 1.0
  ☆18Updated 12 years ago
• textiles-lab / fenced-tangle-supplemental
  ☆14Updated last year
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆15Updated 2 years ago
• savonet / ocaml-mm
  OCaml multimedia library
  ☆35Updated 3 months ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 3 years ago
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆34Updated last year
• MikaelMayer / Editor
  Editor is an experimental HTTP/HTTPS server exposing webpages that can still be modified from the browser.
  ☆20Updated last year
• jin / subtyping
  An implementation of structural subtyping of records and functions
  ☆13Updated 6 years ago
• xavierleroy / ocamlagrep
  String searching with errors, using the Wu-Manber algorithm
  ☆23Updated 2 weeks ago