Alternatives and similar repositories for lets-program:

Users that are interested in lets-program are comparing it to the libraries listed below

• positiondev / fn
  A functional web framework
  ☆34Updated 3 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆72Updated 7 years ago
• phischu / monad-examples
  Example uses of monads
  ☆43Updated 6 years ago
• commercialhaskell / describe
  Describe Haskell code in GHCi
  ☆71Updated 7 years ago
• leon-vv / Todo
  Idris Todo web application example
  ☆42Updated 2 years ago
• theam / tintin
  📚 A softer alternative to Haddock
  ☆106Updated 5 years ago
• fpco / schoolofhaskell
  ☆33Updated 9 years ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆59Updated 4 years ago
• jhedev / todobackend-haskell
  Todobackend implementations in Haskell using various frameworks
  ☆40Updated 2 years ago
• parsonsmatt / hasktuts
  A collection of introductory tutorials on Haskell libraries
  ☆42Updated 9 years ago
• KesterTong / idris2048
  2048 in Idris
  ☆121Updated 7 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• rpeszek / IdrisTddNotes
  Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
  ☆48Updated 2 years ago
• sdiehl / llvm-tutorial-standalone
  DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )
  ☆37Updated 7 years ago
• takenobu-hs / type-introduction-illustrated
  Haskell type introduction illustrated
  ☆17Updated 7 years ago
• tfausak / factory
  An example Servant API.
  ☆19Updated 9 years ago
• chicagohaskell / servant-presentation
  Slides + TodoApp for Chicago Haskell Servant Presentation
  ☆46Updated 9 years ago
• abhin4v / link
  A simple multithreaded chat server in haskell
  ☆35Updated 5 years ago
• scotty-web / scotty-starter
  A starter-kit for the Scotty web framework
  ☆64Updated 6 years ago
• david-christiansen / idris-quickcheck
  A port of QuickCheck to Idris
  ☆57Updated 7 years ago
• hunt-framework / hayoo
  Hackage search engine
  ☆56Updated 7 years ago
• ToJans / idris101
  Learning project by a group of people interested in learning the Idris language
  ☆50Updated 10 years ago
• qfpl / sv
  Comma (and other) separated values
  ☆77Updated last year
• beijaflor-io / haskell-libui
  Haskell bindings to the libui C library.
  ☆47Updated 7 years ago
• brianhempel / live-ghci
  Evaluate special comments in your program on file save.
  ☆38Updated 4 years ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 3 months ago
• haskellnews / haskellnews
  An aggregation of all online content related to Haskell.
  ☆91Updated 6 years ago
• jberthold / packman
  Evaluation-orthogonal serialisation of Haskell data, as a library
  ☆62Updated last month
• snapframework / io-streams
  Simple, composable, and easy-to-use stream I/O for Haskell
  ☆100Updated 2 weeks ago