Daniel-Diaz / matrixLinks
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
Sorting:
- Literature review of GHC's Core language, System FC☆67Updated 6 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- Open records for Haskell☆22Updated 7 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- haskell memory☆48Updated last year
- An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"☆23Updated 12 years ago
- An experimental intermediate language for GHC☆36Updated 7 years ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Updated 7 years ago
- Type-safe open unions in Haskell☆32Updated 7 years ago
- Haskell 98 contravariant functors☆73Updated 8 months ago
- Agda-style equational reasoning in Haskell☆53Updated 2 months ago
- rewrite rules for type-level equalities☆62Updated last year
- Replib: generic programming & Unbound: generic treatment of binders☆45Updated 2 years ago
- System F implemented in Haskell☆24Updated 13 years ago
- Some useful control operators for looping☆47Updated 5 years ago
- Compositional type checking for Haskell☆37Updated 14 years ago
- Alternative Core language for GHC plugins☆39Updated 9 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- Type-level well-kinded natural numbers.☆34Updated 5 months ago
- Recursion schemes for Idris☆65Updated 6 years ago
- A collection of Edward Kmett's packages in a single repository☆16Updated 4 years ago
- Library for manipulating Haskell source code☆22Updated last month
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Haskell library for efficiently building up buffers☆26Updated 5 months ago
- ☆19Updated 10 months ago
- Folds for recursive types with GHC Generics☆26Updated 5 years ago
- Type-safe time units in Haskell☆49Updated 5 months ago
- Monad morphisms☆50Updated 2 weeks ago
- Kleene algebra, regular expressions☆32Updated last year
- ☆45Updated 3 years ago