Alternatives and similar repositories for coconut-prelude

Users that are interested in coconut-prelude are comparing it to the libraries listed below

• ku-fpg / hood
  Hood debugger, based on the idea of observing functions and structures as they are evaluated.
  ☆20Updated 7 years ago
• xgrommx / idris-ecosystem
  ☆49Updated 7 years ago
• TikhonJelvis / Reactive-Life
  A functional reactive GUI for John Conway's Game of Life.
  ☆25Updated 9 years ago
• thautwarm / Quick-Backend
  Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master
  ☆24Updated 5 years ago
• typelead / eta-hackage
  A set of patches to make Hackage compatible with the Eta language.
  ☆64Updated 5 years ago
• Tehnix / MobileHaskellFun
  Project set up for playing around with mobile haskell
  ☆14Updated 7 years ago
• fpco / schoolofhaskell.com
  ☆16Updated 5 years ago
• idris-hackers / idris-sublime
  A Plugin to use Idris with Sublime
  ☆27Updated 4 years ago
• idris-industry / ikan
  build tool and package manager for idris,in idris,with free monads
  ☆32Updated 6 years ago
• GaloisInc / json
  Haskell JSON library
  ☆27Updated 7 months ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆19Updated 7 years ago
• complyue / hadui
  Web front UI for interactive Haskell projects
  ☆33Updated 5 years ago
• Tehnix / ide-haskell-hie
  Atom LSP plugin for HIE (Haskell IDE Engine)
  ☆26Updated 5 years ago
• Deewiant / glob
  Haskell library for glob matching
  ☆25Updated 3 years ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 6 months ago
• simple-haskell / simple-haskell-website
  Home page for the Simple Haskell Initiative
  ☆15Updated 2 years ago
• tek / amino
  functional data structures and utilities for python
  ☆36Updated 6 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆65Updated 6 years ago
• byorgey / MonadRandom
  A monad transformer and corresponding type class for computations which consume random values.
  ☆33Updated 3 months ago
• TotallyNotChase / valida
  Simple, elegant, profunctorial, applicative validation for product types!
  ☆19Updated 3 years ago
• typelead / eta-ffi
  A command line tool to automate the generation of ffi import code for the bindings of various Java libraries.
  ☆18Updated 7 years ago
• manicmaniac / coconut.vim
  Vim syntax highlight and indent definition for coconut.
  ☆19Updated 7 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
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• jdevuyst / dependable-data-structures
  Experiments in implementing functional data structures in Idris
  ☆15Updated 5 years ago
• mmirman / ImperativeHaskell
  Proof that Haskell can look and act like an imperative language.
  ☆74Updated 13 years ago
• gdevanla / scotty-from-ground-up
  Examples to demonstrate the core computational structures of Haskell based scotty web framework library
  ☆14Updated 8 years ago
• csicar / pskt
  Kotlin-backend for PureScript
  ☆80Updated 3 years ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆95Updated 3 months ago
• psibi / shell-conduit
  Write shell scripts with Conduit
  ☆96Updated 5 years ago