Alternatives and similar repositories for linalg:

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

• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆16Updated 2 weeks ago
• nqpz / futracer
  Race through breathtaking 3-D graphics with Futhark!
  ☆14Updated 3 years ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆84Updated this week
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆33Updated 2 weeks ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆49Updated 2 months ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆40Updated 2 weeks ago
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 5 years ago
• pepijndevos / futhark-pycffi
  Python library using the Futhark C backend via CFFI
  ☆23Updated last year
• athas / futball
  You are trapped on an infinite tile floor along with murderous marbles
  ☆10Updated 4 months ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆55Updated 9 months ago
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated 4 months ago
• diku-dk / lys
  Library for writing interactive and visual Futhark programs
  ☆22Updated 7 months ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆20Updated 5 months ago
• conal / felix
  Agda category theory library for denotational design
  ☆50Updated 7 months ago
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated last year
• gebner / hott3
  HoTT in Lean 3
  ☆77Updated 4 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated 2 months ago
• henrikurms / tail2futhark
  ☆18Updated 6 years ago
• xgrommx / agda-ecosystem
  ☆29Updated 6 years ago
• T-Brick / molasses
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆18Updated last year
• thery / hanoi
  Hanoi tower in Coq
  ☆24Updated last month
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆23Updated 13 years ago
• mmcqd / higher-standard
  Higher kinded polymorphism in SML
  ☆15Updated 4 years ago
• MPLLang / parallel-ml-bench
  Parallel ML benchmark suite
  ☆15Updated 2 weeks ago
• dhil / phd-dissertation
  A summary of my activities during the past four years
  ☆28Updated 3 months ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆79Updated 8 months ago
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 2 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆67Updated 7 years ago