TobiReinhart / sparse-tensor
typesafe implementation of tensor algebra in Haskell
☆13Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for sparse-tensor
- The Elements of Statistical Learning in Haskell☆12Updated 6 years ago
- Programmatically create new instances using core-to-core plugins☆12Updated 3 years ago
- A formalization of finite, constructive log analysis using linear temporal logic☆19Updated this week
- I/O utilities and datasets for algebraic-graphs☆14Updated 2 years ago
- Experiments in abstracting definitional interpreters☆16Updated 7 years ago
- Haskell library of algebraic topology☆23Updated 13 years ago
- half-precision floating-point☆14Updated 3 weeks ago
- "Programs that explain their effects" talk material☆17Updated 6 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Updated 3 years ago
- library with a semiring class and some useful semirings☆11Updated 4 years ago
- Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories☆13Updated 7 years ago
- Quiver stream processing library☆15Updated 8 years ago
- nominal sets in haskell☆20Updated 6 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- Efficient search weighted by an ordered monoid with monus.☆16Updated last year
- Compile time CAS(Computer Algebra System) for Haskell☆17Updated 4 years ago
- Bring fusion to everyone☆13Updated 4 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 2 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- An experimental build system based on the Haxl library☆8Updated 5 years ago
- Unpinned byte arrays in GHC haskell☆22Updated 5 years ago
- Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.☆25Updated 7 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Updated 5 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆19Updated 4 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 weeks ago
- Physical dimensions and operations☆9Updated 6 years ago
- Deriving Storable instances using GHC.Generics☆15Updated 2 years ago
- Directed rounding and interval arithmetics with builtin floating types☆11Updated 2 years ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Updated 4 years ago