Alternatives and similar repositories for eta-2048:

Users that are interested in eta-2048 are comparing it to the libraries listed below

• typelead / etlas
  Etlas, the build tool and package manager for the Eta programming language
  ☆63Updated 5 years ago
• y-taka-23 / learn-you-a-frege
  Frege Translation of "Learn You a Haskell for Great Good!."
  ☆51Updated 9 years ago
• typelead / eta-examples
  Examples of Eta in action.
  ☆36Updated 6 years ago
• typelead / eta-hackage
  A set of patches to make Hackage compatible with the Eta language.
  ☆64Updated 5 years ago
• alanz / HaRe
  The Haskell Refactoring Tool
  ☆136Updated 5 years ago
• fumieval / xml-lens
  Lenses and traversals for xml-conduit
  ☆50Updated 9 months ago
• david-christiansen / idris-quickcheck
  A port of QuickCheck to Idris
  ☆57Updated 7 years ago
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆72Updated 7 years ago
• kowainik / slist
  ♾️ Sized list
  ☆46Updated 10 months ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• haskell / text-icu
  This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
  ☆48Updated 5 months ago
• KesterTong / idris2048
  2048 in Idris
  ☆121Updated 7 years ago
• ekmett / zippers
  Zippers based on lenses and traversals
  ☆38Updated last year
• typelead / eta-ffi
  A command line tool to automate the generation of ffi import code for the bindings of various Java libraries.
  ☆18Updated 7 years ago
• fpco / schoolofhaskell
  ☆33Updated 9 years ago
• ToJans / idris101
  Learning project by a group of people interested in learning the Idris language
  ☆50Updated 10 years ago
• uwap / idris-http
  An HTTP library for idris
  ☆39Updated 6 years ago
• jaspervdj / psqueues
  Priority Search Queues in three different flavors for Haskell
  ☆65Updated last month
• mgsloan / store
  Fast binary serialization in Haskell
  ☆110Updated 2 months ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆55Updated 10 years ago
• ozataman / csv-conduit
  Flexible, fast and constant-space CSV library for Haskell using conduits
  ☆52Updated last month
• phadej / tdigest
  On-line accumulation of rank-based statistics such as quantiles and trimmed means
  ☆31Updated 8 months ago
• haskell-haskey / haskey-btree
  B+-tree implementation in Haskell
  ☆27Updated 5 years ago
• haskell-checkers / checkers
  Check properties on standard classes and data structures
  ☆79Updated last year
• commercialhaskell / describe
  Describe Haskell code in GHCi
  ☆71Updated 7 years ago
• chrisdone-archive / labels
  Declare and access tuple fields with labels
  ☆58Updated 6 years ago
• davidfstr / idris-insertion-sort
  Provably correct implementation of insertion sort in Idris.
  ☆30Updated 3 years ago
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 8 years ago
• simonmar / haskell-eXchange-2015
  ☆41Updated 9 years ago
• jfdm / idris-config
  Parsers for various configuration files written in Idris.
  ☆19Updated 7 years ago