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
- Literature review of GHC's Core language, System FC☆66Updated 6 years ago
- Haskell 98 contravariant functors☆73Updated 4 months ago
- haskell memory☆48Updated last year
- ☆40Updated 5 years ago
- Monad Transformers and Classes☆77Updated 5 years ago
- Haskell 98 bifunctors, bifoldables and bitraversables☆57Updated 2 months ago
- Agda-style equational reasoning in Haskell☆52Updated last month
- ☆74Updated 7 months ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 6 months ago
- Library for manipulating Haskell source code☆22Updated 5 months ago
- System F implemented in Haskell☆24Updated 12 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 2 months ago
- Haskell 98 Profunctors☆70Updated 8 months ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆44Updated 2 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- Type-safe time units in Haskell☆49Updated last month
- ☆18Updated last year
- JHC Haskell compiler split into reusable components☆57Updated 6 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- Difference lists in Haskell☆65Updated 7 months ago
- Units of measure as a GHC typechecker plugin☆30Updated 2 years ago
- Open records for Haskell☆22Updated 7 years ago
- Serializable closures for distributed programming.☆64Updated last year
- An alternate definition of Haskell's Functor typeclass☆42Updated 5 years ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆53Updated last year
- Haskell library for efficiently building up buffers☆26Updated last month
- compile your own functional language☆36Updated 5 years ago
- A new all Haskell "tagged" DFA regex engine, inspired by libtre☆43Updated 5 years ago