DataHaskell / awesome-haskell-mlLinks
π - Resources for Machine Learning and Haskell
β21Updated 7 years ago
Alternatives and similar repositories for awesome-haskell-ml
Users that are interested in awesome-haskell-ml are comparing it to the libraries listed below
Sorting:
- Some useful control operators for loopingβ47Updated 5 years ago
- Recursion schemes for Idrisβ65Updated 6 years ago
- A Haskell translation of Idris's original algebraic effects libraryβ41Updated 8 years ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.β70Updated 2 weeks ago
- Dual Traversableβ42Updated 2 years ago
- Elaborate and expressive S-Expression library for Haskellβ62Updated last year
- Haskell 98 contravariant functorsβ73Updated 9 months ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.β100Updated 2 years ago
- Free Algebras in Haskellβ37Updated 11 months ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functorβ80Updated last month
- Type-level well-kinded natural numbers.β34Updated 7 months ago
- GRIN backend for Idrisβ50Updated 5 years ago
- πΌοΈ the compiling to closed categories compilerβ66Updated 7 years ago
- haskell lazy evaluation illustratedβ72Updated 8 years ago
- Reification of data structures using observable sharingβ29Updated 9 months ago
- βΎοΈ Sized listβ46Updated last year
- A port of Apache Sparks to Haskell using distributed processβ33Updated 8 years ago
- build tool and package manager for idris,in idris,with free monadsβ32Updated 6 years ago
- Haskell JSON schema validator and parser generatorβ62Updated 2 years ago
- Simple adjunctionsβ45Updated 4 months ago
- the EitherT monad transformerβ55Updated last month
- Hedgehog will eat your typeclass bugsβ56Updated 2 months ago
- Dependently-typed finite maps (partial dependent products)β66Updated 6 months ago
- List monad transformerβ60Updated last year
- Compile Dhall expressions to Cabal filesβ101Updated 2 years ago
- Modern compiler implementation in ML, in Haskellβ16Updated 7 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.β50Updated 4 months ago
- Demonstrating comonad transformers.β37Updated 8 years ago
- β40Updated 5 years ago
- Haskell FilePath core libraryβ71Updated last month