Alternatives and similar repositories for linalg

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

• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆43Updated last week
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 6 years ago
• andrejbauer / marshall
  Real number computation software
  ☆129Updated 3 years ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆57Updated 3 weeks ago
• philass / HarkDB
  Multi-backend GPU query engine written with Futhark
  ☆18Updated 3 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 7 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆33Updated 11 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated last year
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 3 years ago
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 3 years ago
• diku-dk / futhark-book
  Parallel Programming in Futhark
  ☆49Updated 3 months ago
• pepijndevos / futhark-pycffi
  Python library using the Futhark C backend via CFFI
  ☆26Updated 6 months ago
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆27Updated 5 years ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆37Updated last week
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆85Updated 8 months ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆66Updated 4 years ago
• uwplse / potpie
  Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct
  ☆16Updated last year
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆38Updated 7 years ago
• metaocaml / ber-metaocaml
  Unofficial git mirror of the BER MetaOCaml patchset.
  ☆69Updated 8 months ago
• metaocaml / metaocaml-bibliography
  MetaML and MetaOCaml bibliography
  ☆98Updated last year
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 5 years ago
• andrejbauer / clerical
  Command-like expressions for real infinite-precision calculations
  ☆55Updated 5 months ago
• dboulytchev / miniKanren-coq
  A certified semantics for relational programming workout.
  ☆26Updated 5 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 3 years ago
• dlicata335 / hott-agda
  ☆86Updated 8 years ago
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆21Updated 4 months ago
• mmcqd / higher-standard
  Higher kinded polymorphism in SML
  ☆15Updated 5 years ago
• junjihashimoto / th-cas
  Compile time CAS(Computer Algebra System) for Haskell
  ☆18Updated last month
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated last year
• aprolog-lang / aprolog
  αProlog
  ☆18Updated 2 years ago