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
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 10 years ago
• purescript-emacs / emacs-psci
  Major mode for psci (purescript's repl)
  ☆17Updated last year
• leon-vv / Todo
  Idris Todo web application example
  ☆42Updated 2 years ago
• paf31 / purescript-jquery
  Type declarations for jQuery
  ☆30Updated 5 years ago
• chrisdone-archive / haskell-style-guide
  ☆94Updated 8 years ago
• jhickner / hobbes
  A cross-platform file activity monitor
  ☆72Updated 9 years ago
• chrisdone-archive / ircbrowse
  An IRC analysis server.
  ☆81Updated 7 years ago
• takenobu-hs / type-introduction-illustrated
  Haskell type introduction illustrated
  ☆17Updated 8 years ago
• ozataman / csv-conduit
  Flexible, fast and constant-space CSV library for Haskell using conduits
  ☆52Updated last month
• haskell-lisp / lisk
  Exploratory new work on a Haskell Lisp
  ☆16Updated 8 years ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• mrkkrp / ebal
  *DEPRECATED* Emacs interface to Cabal and Stack
  ☆29Updated 7 years ago
• statement-on-lambdaconf / statement-on-lambdaconf.github.io
  ☆22Updated 8 years ago
• dbushenko / trurl
  Haskell code generator
  ☆22Updated 9 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• dysinger / purescript-mode
  Emacs mode for PureScript
  ☆44Updated 7 years ago
• exercism / idris
  Exercism exercises in Idris.
  ☆34Updated last week
• etnt / Haskerl
  Haskell subset compiled to the Beam machine.
  ☆42Updated 10 years ago
• edwinb / SDL-idris
  SDL bindings package for idris
  ☆46Updated 5 years ago
• snowmantw / Frag
  Porting from Darcs for collecting issues and other informations. Based on frag-1.1.2b.tar-0001.gz .
  ☆13Updated 8 years ago
• haskell / text-icu
  This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
  ☆48Updated 2 months ago
• ToJans / idris101
  Learning project by a group of people interested in learning the Idris language
  ☆50Updated 10 years ago
• NorfairKing / nanosmos
  A simple text editor written in Haskell with Brick
  ☆13Updated 6 years ago
• grasswire / scrapey
  tiny webservice to get a link preview from a url
  ☆15Updated 9 years ago
• bamboo / IdrisUnityPlayground
  Experiments in Idris / Unity integration.
  ☆49Updated 8 years ago
• chrisdone-archive / purify
  Reproducible builds for PureScript
  ☆73Updated 6 years ago
• jeapostrophe / remix
  remix - a revised version of Racket
  ☆33Updated 2 years ago
• larskuhtz / ghci-pretty
  tiny hack for colored pretty-printing within ghci
  ☆20Updated 2 years ago
• khanage / heineken
  A general build tool for haskell projects inspired by leiningen
  ☆16Updated 10 years ago