Alternatives and similar repositories for lysa

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

• khanage / heineken
  A general build tool for haskell projects inspired by leiningen
  ☆16Updated 10 years ago
• stackbuilders / octohat
  API wrapper for Github's API in Haskell with tests
  ☆17Updated 10 years ago
• maxsnew / hakyll-elm
  Hakyll wrapper for the Elm (http://elm-lang.org) compiler
  ☆15Updated 11 years ago
• JoeyEremondi / haskelm
  Haskell to Elm translation using Template Haskell. Contains both a library and executable.
  ☆49Updated 8 years ago
• VerbalExpressions / HaskellVerbalExpressions
  ☆63Updated 7 years ago
• yamadapc / haskell-drawille
  Port of asciimoo/drawille to haskell.
  ☆27Updated 2 years ago
• idris-hackers / IdrisWeb
  A secure web framework, built in the Idris language.
  ☆110Updated 12 years ago
• idris-hackers / iQuery
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Updated 8 years ago
• deech / LeftPad
  ☆23Updated 8 years ago
• haskell-hvr / rss
  A library for generating RSS 2.0 feeds.
  ☆18Updated last month
• jstolarek / why-dependent-types-matter
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Updated 7 years ago
• laserpants / hashids-haskell
  Haskell port of the Hashids library.
  ☆24Updated 2 years ago
• riak-haskell-client / riak-haskell-client
  A fast Haskell client library for the Riak decentralized data store
  ☆50Updated 2 years ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 11 years ago
• laser / cis-194-winter-2016
  A modified version of Brent Yorgey's CIS 194 Haskell course
  ☆17Updated 5 years ago
• pselm / core
  A Purescript implementation of Elm's `core` library
  ☆30Updated 7 years ago
• learnyou / lysa
  A fun, easy-to-read, open-source math textbook
  ☆26Updated 9 years ago
• pseudonom / phantheck
  Integrates QuickChecked properties into the type system with phantom types
  ☆34Updated 9 years ago
• AtnNn / haskell-rethinkdb
  RethinkDB client library for Haskell
  ☆93Updated 8 years ago
• takenobu-hs / type-introduction-illustrated
  Haskell type introduction illustrated
  ☆17Updated 8 years ago
• Twinside / svg-tree
  SVG loader/serializer for Haskell
  ☆29Updated 2 years ago
• valpackett / hs-duktape
  Haskell bindings for a very compact embedded JavaScript engine | now on https://codeberg.org/valpackett/hs-duktape
  ☆23Updated 3 years ago
• UU-ComputerScience / js-asteroids
  An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)
  ☆12Updated 11 years ago
• Dandandan / parser
  Parser combinator library for Elm
  ☆36Updated 9 years ago
• exercism / idris
  Exercism exercises in Idris.
  ☆35Updated last month
• ktvoelker / standalone-haddock
  Generate standalone haddock documentation for a set of packages
  ☆28Updated 5 years ago
• singpolyma / wai-session
  Flexible session middleware for WAI
  ☆15Updated 5 years ago
• positiondev / fn
  A functional web framework
  ☆34Updated 4 years ago
• maxsnew / IO
  IO for Elm
  ☆29Updated 10 years ago
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆72Updated 8 years ago