Alternatives and similar repositories for lysa:

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

• KesterTong / idris2048
  2048 in Idris
  ☆122Updated 7 years ago
• exercism / idris
  Exercism exercises in Idris.
  ☆34Updated this week
• chrisdone-archive / haskell-style-guide
  ☆94Updated 8 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 9 years ago
• takenobu-hs / type-introduction-illustrated
  Haskell type introduction illustrated
  ☆17Updated 8 years ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 7 years ago
• edwinb / SDL-idris
  SDL bindings package for idris
  ☆46Updated 5 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 10 years ago
• yi-editor / yi-rope
  Rope data structure used by Yi
  ☆20Updated 6 years ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆68Updated 11 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• jekor / hesh
  Haskell Extensible Shell
  ☆68Updated 4 years ago
• rahulmutt / eta-2048
  2048 game clone using Yampa FRP library
  ☆29Updated 6 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆55Updated 10 years ago
• jeapostrophe / remix
  remix - a revised version of Racket
  ☆33Updated 2 years ago
• maxsnew / hakyll-elm
  Hakyll wrapper for the Elm (http://elm-lang.org) compiler
  ☆15Updated 10 years ago
• michaelschade / hs-stripe
  A Haskell implementation of the Stripe API.
  ☆34Updated 8 years ago
• commercialhaskell / stackage-server
  Server for stable, curated Haskell package sets
  ☆109Updated last month
• pseudonom / phantheck
  Integrates QuickChecked properties into the type system with phantom types
  ☆34Updated 8 years ago
• wavewave / nix-build-ghc-android
  ghc-android build using nix
  ☆68Updated 4 years ago
• etnt / Haskerl
  Haskell subset compiled to the Beam machine.
  ☆42Updated 10 years ago
• bamboo / IdrisUnityPlayground
  Experiments in Idris / Unity integration.
  ☆49Updated 8 years ago
• takeoutweight / shade
  Interactive, client-side web apps in Haskell
  ☆147Updated 10 years ago
• awakesecurity / language-ninja
  A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
  ☆35Updated 7 years ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 11 months ago
• willdonnelly / dyre
  A Dynamic Reconfiguration Library for Haskell Programs
  ☆93Updated last year
• jhickner / hobbes
  A cross-platform file activity monitor
  ☆72Updated 8 years ago
• bitemyapp / open-haskell
  Community edited and directed course based on Spring '13 cis194.
  ☆46Updated 9 years ago