Alternatives and similar repositories for lysa

Users that are interested in lysa are comparing it to the libraries listed below

• stackbuilders / octohat
  API wrapper for Github's API in Haskell with tests
  ☆17Updated 10 years ago
• khanage / heineken
  A general build tool for haskell projects inspired by leiningen
  ☆16Updated 10 years ago
• pseudonom / phantheck
  Integrates QuickChecked properties into the type system with phantom types
  ☆34Updated 9 years ago
• VerbalExpressions / HaskellVerbalExpressions
  ☆63Updated 7 years ago
• Dandandan / parser
  Parser combinator library for Elm
  ☆36Updated 8 years ago
• yamadapc / haskell-drawille
  Port of asciimoo/drawille to haskell.
  ☆26Updated 2 years ago
• maxsnew / hakyll-elm
  Hakyll wrapper for the Elm (http://elm-lang.org) compiler
  ☆15Updated 11 years ago
• jstolarek / why-dependent-types-matter
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Updated 7 years ago
• learnyou / lysa
  A fun, easy-to-read, open-source math textbook
  ☆26Updated 9 years ago
• potomak / haskell-player
  A terminal music player based on afplay
  ☆41Updated 8 years ago
• riak-haskell-client / riak-haskell-client
  A fast Haskell client library for the Riak decentralized data store
  ☆50Updated 2 years ago
• JoeyEremondi / haskelm
  Haskell to Elm translation using Template Haskell. Contains both a library and executable.
  ☆49Updated 7 years ago
• positiondev / fn
  A functional web framework
  ☆34Updated 3 years ago
• laserpants / hashids-haskell
  Haskell port of the Hashids library.
  ☆24Updated last year
• silky / literate-readme
  README files used to be able to lie. Now they can't! Woo!
  ☆38Updated 4 years ago
• idris-hackers / iQuery
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Updated 7 years ago
• positiondev / hworker
  A reliable at-least-once job queue built on Redis.
  ☆38Updated 9 months ago
• cstrahan / wiwinwln
  What I Wish I Knew While Learning Nix
  ☆34Updated 3 years ago
• ktvoelker / standalone-haddock
  Generate standalone haddock documentation for a set of packages
  ☆28Updated 5 years ago
• cjdev2 / test-fixture
  Testing with monadic side-effects
  ☆33Updated 4 years ago
• aristidb / http-types
  Generic HTTP types for Haskell (for both client and server code)
  ☆54Updated last year
• hspec / hspec-expectations
  Catchy combinators for HUnit
  ☆36Updated 6 months ago
• AtnNn / haskell-rethinkdb
  RethinkDB client library for Haskell
  ☆93Updated 8 years ago
• beijaflor-io / haskell-libui
  Haskell bindings to the libui C library.
  ☆48Updated 7 years ago
• pselm / core
  A Purescript implementation of Elm's `core` library
  ☆30Updated 7 years ago
• maxsnew / IO
  IO for Elm
  ☆29Updated 9 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆40Updated 10 years ago
• ollef / braces-be-gone
  Get those pesky braces out of your face
  ☆49Updated 7 years ago
• idris-hackers / IdrisWeb
  A secure web framework, built in the Idris language.
  ☆110Updated 11 years ago
• mitchellwrosen / dohaskell
  Tagged Haskell learning resources index
  ☆21Updated 9 years ago