Alternatives and similar repositories for linalg

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

• nqpz / futracer
  Race through breathtaking 3-D graphics with Futhark!
  ☆14Updated 4 years ago
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…
  ☆37Updated this week
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 5 years ago
• diku-dk / futhark-book
  Parallel Programming in Futhark
  ☆48Updated 4 months ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated last month
• henrikurms / tail2futhark
  ☆18Updated 6 years ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆50Updated last month
• uwplse / potpie
  Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct
  ☆16Updated 8 months ago
• Deducteam / SizeChangeTool
  A termination checker for higher-order rewriting with dependent types
  ☆10Updated 4 years ago
• metaocaml / metaocaml-opam
  A repository of MetaOCaml packages
  ☆12Updated last year
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆35Updated this week
• athas / futball
  You are trapped on an infinite tile floor along with murderous marbles
  ☆10Updated 7 months ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated 9 months ago
• mmcqd / higher-standard
  Higher kinded polymorphism in SML
  ☆15Updated 4 years ago
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 2 years ago
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated last year
• benediktahrens / CT4P
  ☆34Updated 6 months ago
• pepijndevos / futhark-pycffi
  Python library using the Futhark C backend via CFFI
  ☆24Updated 2 years ago
• liam923 / remora
  A dependently-typed, array-polymorphic language that runs on parallel architectures
  ☆24Updated 8 months ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 7 years ago
• michalkonecny / aern2
  A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)
  ☆23Updated last month
• ocramz / ad-delcont
  Reverse-mode automatic differentiation with delimited continuations
  ☆15Updated last year
• mortberg / gen-cart
  A Unifying Cartesian Cubical Set Model
  ☆35Updated 5 years ago
• rocq-community / atbr
  Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]
  ☆23Updated 6 months ago
• atzedijkstra / chr
  Constraint Handling Rules
  ☆16Updated 7 months ago
• emc2 / arith-encode
  Practical arithmetic encoding (aka Gödel numbering) library for Haskell.
  ☆10Updated 5 years ago
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆20Updated 5 years ago
• aprolog-lang / aprolog
  αProlog
  ☆17Updated last year
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 2 years ago
• martinescardo / EffectfulForcing
  Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …
  ☆11Updated 3 years ago