Alternatives and similar repositories for Hyperspectives:

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

• mwalczyk / pga-axioms
  Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.
  ☆12Updated 4 years ago
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆26Updated 4 years ago
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated 3 weeks ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• LaurentMazare / ocaml-minipy
  Naive interpreter for a Python like language
  ☆14Updated 3 years ago
• xavierleroy / ocamlagrep
  String searching with errors, using the Wu-Manber algorithm
  ☆23Updated 2 months ago
• c-cube / quip
  [wip] Proof format and checker for first-order and higher-order theorem provers
  ☆12Updated last year
• smorimoto / coq-to-ocaml-to-js
  Proof of concept to generate safe and fast JavaScript
  ☆24Updated 2 years ago
• pygae / GAlgebra.jl
  Julia interface to GAlgebra via PyCall
  ☆15Updated this week
• fafk / merkle_storage
  Key-value git-like storage with full history backed by RocksDB
  ☆13Updated 4 years ago
• chakravala / Dendriform.jl
  Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees
  ☆16Updated 5 years ago
• Limeth / hestenes
  Geometric algebra library for Rust
  ☆22Updated 6 years ago
• ocaml / ocaml-manual
  OBSOLETE, ARCHIVED mirror of the OCaml manual
  ☆15Updated last year
• abbysmal / Toolboy
  A set of tools to work with Gameboy stuff
  ☆13Updated 2 years ago
• 4y8 / esoo
  Like the Programming Languages Zoo but with esoteric languages.
  ☆25Updated 4 years ago
• andrioni / GeoAlg.jl
  A basic geometric algebra library in Julia
  ☆12Updated 8 years ago
• janestreet / ppx_js_style
  Code style checker for Jane Street Packages
  ☆19Updated 4 months ago
• patricoferris / riscv-o-spec
  An OCaml extension for RISC-V
  ☆16Updated 4 years ago
• hackwaly / ocaml-dap
  ☆19Updated 2 years ago
• bryphe / reason-gl-matrix
  Cross-platform high-performance vector and matrix math for OpenGL
  ☆17Updated 5 years ago
• moss-lang / moss
  A programming language.
  ☆12Updated 2 years ago
• manuelelucchi / Liblet.jl
  A simple library for language and compilers building
  ☆7Updated 4 years ago
• dysonance / Stochatto.jl
  Algorithmic music composition in Julia
  ☆10Updated 5 years ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 2 years ago
• yomimono / url-shortener
  Example URL shortener MirageOS unikernel using Chamelon.
  ☆18Updated 2 years ago
• OCamlPro / memthol
  Memthol is a visualizer for memory profiling data generated from OCaml programs.
  ☆27Updated 2 years ago
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 5 years ago
• stedolan / linkage
  easy-to-use wrapper for OCaml's Dynlink
  ☆16Updated 8 years ago
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 5 years ago
• Frama-C / headache
  Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).
  ☆24Updated 10 months ago