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
  ☆28Updated 5 years ago
• Limeth / hestenes
  Geometric algebra library for Rust
  ☆22Updated 7 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 2 months ago
• AlgebraicJulia / ModelExploration.jl
  Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
  ☆12Updated last year
• lunarcast / lunarflow
  Lambda calculus go brrrr
  ☆30Updated 2 years ago
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆14Updated 7 years ago
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆21Updated 3 weeks ago
• countvajhula / cli
  A language for writing command line interfaces in Racket
  ☆15Updated 3 years ago
• felko / ton-lang
  A visual programming language, evaluated as a cellular automaton
  ☆64Updated last year
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆15Updated this week
• erigontech / gmp-wasm
  Fork of the GNU Multiple Precision Arithmetic Library (GMP), suitable for compilation into WebAssembly.
  ☆18Updated 4 years ago
• chrisnevers / ocamline
  👨🏻‍💻 Command line interface for user input
  ☆36Updated 5 years ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆35Updated 3 years ago
• hansenjakob / SheafLearning.jl
  Julia package for learning cellular sheaf Laplacians
  ☆16Updated 4 years ago
• c-cube / quip
  [wip] Proof format and checker for first-order and higher-order theorem provers
  ☆12Updated 2 years ago
• LaurentMazare / ocaml-minipy
  Naive interpreter for a Python like language
  ☆14Updated 3 years ago
• nilesjohnson / hopf_fibration
  Modifications of Niles Johnson's Hopf Fibration drawing code
  ☆36Updated 10 years ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 4 years ago
• silky / fashion
  repo for fashion business/ideas/etc.
  ☆22Updated 5 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated last week
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 11 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• andrewray / iocamljs
  An OCaml javascript kernel for the IPython notebook
  ☆58Updated 8 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 2 years ago
• glossopoeia / glossolalia
  A language for generating words in constructed languages
  ☆19Updated 3 years ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• 4y8 / esoo
  Like the Programming Languages Zoo but with esoteric languages.
  ☆25Updated 5 years ago
• peterlefanulumsdaine / hott-limits
  A formalization of (homotopy) limits in Homotopy Type Theory
  ☆11Updated 10 years ago
• mew-cx / chaitin_lisp
  Runnable code from Chaitin's "The Limits of Mathematics (in C)"
  ☆18Updated 3 years ago