Daniel-Diaz / matrix
A Haskell native implementation of matrices and their operations.
☆35Updated last year
Alternatives and similar repositories for matrix:
Users that are interested in matrix are comparing it to the libraries listed below
- Monad Transformers and Classes☆77Updated 5 years ago
- haskell memory☆48Updated last year
- Haskell 98 contravariant functors☆73Updated 4 months ago
- Literature review of GHC's Core language, System FC☆66Updated 6 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆104Updated last week
- Haskell 98 bifunctors, bifoldables and bitraversables☆57Updated last week
- ☆40Updated 5 years ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- Units of measure as a GHC typechecker plugin☆30Updated 2 years ago
- Alternative Core language for GHC plugins☆39Updated 9 years ago
- Agda-style equational reasoning in Haskell☆52Updated 2 months ago
- Difference lists in Haskell☆65Updated 8 months ago
- ☆74Updated last week
- Cryptographic library for Haskell☆67Updated 3 weeks ago
- JHC Haskell compiler split into reusable components☆57Updated 6 years ago
- Haskell library for efficiently building up buffers☆26Updated 2 months ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 7 months ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Updated 7 years ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆53Updated last year
- Generic Programming using True Sums of Products☆161Updated 2 months ago
- Open records for Haskell☆22Updated 7 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
- Type-safe time units in Haskell☆49Updated last month
- Replib: generic programming & Unbound: generic treatment of binders☆44Updated 2 years ago
- A collection of Notes on GHC☆69Updated 5 years ago
- System F implemented in Haskell☆24Updated 12 years ago
- Type-safe open unions in Haskell☆31Updated 6 years ago
- Sort any Traversable container☆41Updated 2 years ago
- Arbitrary-precision floating-point numbers represented using scientific notation☆74Updated 2 months ago