Alternatives and similar repositories for lysa:

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

• purcell / adventofcode2016
  Advent of Code 2016, in Haskell
  ☆15Updated 7 years ago
• chrisdone-archive / haskell-style-guide
  ☆94Updated 8 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 9 years ago
• edwinb / SDL-idris
  SDL bindings package for idris
  ☆46Updated 4 years ago
• ozataman / csv-conduit
  Flexible, fast and constant-space CSV library for Haskell using conduits
  ☆52Updated last week
• jhickner / hobbes
  A cross-platform file activity monitor
  ☆72Updated 8 years ago
• awakesecurity / language-ninja
  A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
  ☆34Updated 6 years ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• Happstack / happstack-foundation
  ☆8Updated 2 years ago
• khanage / heineken
  A general build tool for haskell projects inspired by leiningen
  ☆16Updated 9 years ago
• haskellnews / haskellnews
  An aggregation of all online content related to Haskell.
  ☆91Updated 6 years ago
• exercism / idris
  Exercism exercises in Idris.
  ☆33Updated last month
• haskell-lisp / historic-lisk
  S-expression-based syntax alternative for Haskell.
  ☆21Updated 11 years ago
• dysinger / purescript-mode
  Emacs mode for PureScript
  ☆44Updated 7 years ago
• reinh / haskell-wishlist
  A curated wishlist of Haskell libraries, packages, and tools
  ☆16Updated 8 years ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆68Updated 11 years ago
• larskuhtz / ghci-pretty
  tiny hack for colored pretty-printing within ghci
  ☆20Updated 2 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆55Updated 9 years ago
• chrisdone-archive / ircbrowse
  An IRC analysis server.
  ☆81Updated 6 years ago
• haskell-lisp / lisk
  Exploratory new work on a Haskell Lisp
  ☆16Updated 8 years ago
• leon-vv / Todo
  Idris Todo web application example
  ☆42Updated 2 years ago
• mrkkrp / ebal
  *DEPRECATED* Emacs interface to Cabal and Stack
  ☆29Updated 6 years ago
• idris-hackers / IdrisScript
  FFI Bindings to interact with the unsafe world of JavaScript
  ☆92Updated 6 years ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 7 months ago
• borkdude / balcony-hs
  Should I water my balcony?
  ☆13Updated 6 years ago
• jekor / hesh
  Haskell Extensible Shell
  ☆68Updated 4 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 8 years ago
• pseudonom / phantheck
  Integrates QuickChecked properties into the type system with phantom types
  ☆34Updated 8 years ago
• cstrahan / wiwinwln
  What I Wish I Knew While Learning Nix
  ☆35Updated 3 years ago