DataHaskell / awesome-haskell-ml

Related projects ⓘ

Alternatives and complementary repositories for awesome-haskell-ml

• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 6 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• ekmett / distributive
  Dual Traversable
  ☆41Updated last year
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 2 months ago
• system-f / papa
  Reasonable Haskell default import
  ☆27Updated 2 years ago
• gbaz / works-in-progress
  scraps and bits and bobs
  ☆14Updated 2 years ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆63Updated 5 months ago
• isovector / do-notation
  deprecated in favor of -XQualifiedDo
  ☆41Updated 3 years ago
• idris-industry / ikan
  build tool and package manager for idris,in idris,with free monads
  ☆34Updated 5 years ago
• byteverse / json-syntax
  High-performance JSON parser
  ☆24Updated 6 months ago
• Gabriella439 / pipes-concurrency
  Concurrency for the pipes ecosystem
  ☆43Updated 2 years ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• gelisam / conway
  Demonstrating comonad transformers.
  ☆36Updated 8 years ago
• haskell-hvr / base-noprelude
  All of `base` without the `Prelude` module
  ☆44Updated last year
• ekmett / exceptions
  mtl friendly exceptions
  ☆49Updated last week
• chrisdone-archive / webshow
  Show programming language printed values in a web UI
  ☆24Updated 5 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 2 weeks ago
• shayan-najd / MiniFeldspar
  ☆23Updated 9 years ago
• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated 10 months ago
• aisamanra / s-cargot
  Elaborate and expressive S-Expression library for Haskell
  ☆61Updated 3 months ago
• bfops / open-union
  Type-safe open unions in Haskell
  ☆30Updated 6 years ago
• tonyday567 / numhask
  A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  ☆68Updated last month
• Gabriella439 / managed
  A monad for managed values
  ☆50Updated last year
• themattchan / core
  SPJ's tutorial on implementing functional languages
  ☆28Updated 5 years ago
• ekmett / either
  the EitherT monad transformer
  ☆55Updated 6 months ago
• csabahruska / jhc-components
  JHC Haskell compiler split into reusable components
  ☆58Updated 5 years ago
• ekmett / perhaps
  A monad, perhaps.
  ☆33Updated 4 years ago
• bmillwood / haskell-src-meta
  Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  ☆27Updated last week
• Gabriella439 / list-transformer
  List monad transformer
  ☆60Updated 5 months ago
• jyp / nano-Agda
  Tiny type-checker with dependent types
  ☆76Updated 10 years ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 3 years ago