Alternatives and similar repositories for coconut-prelude

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

• tek / amino
  functional data structures and utilities for python
  ☆36Updated 6 years ago
• evolutics / haskell-formatter
  Haskell source code formatter
  ☆24Updated last year
• ku-fpg / hood
  Hood debugger, based on the idea of observing functions and structures as they are evaluated.
  ☆20Updated 7 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• idris-industry / ikan
  build tool and package manager for idris,in idris,with free monads
  ☆32Updated 6 years ago
• fpco / schoolofhaskell.com
  ☆15Updated 5 years ago
• psibi / shell-conduit
  Write shell scripts with Conduit
  ☆96Updated 5 years ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 2 months ago
• david-christiansen / idris-quickcheck
  A port of QuickCheck to Idris
  ☆60Updated 8 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆21Updated 6 years ago
• ziman / idris-py
  Python backend for Idris (generates Python source, not bytecode).
  ☆125Updated 8 years ago
• GaloisInc / json
  Haskell JSON library
  ☆27Updated last year
• 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
• swr1bm86 / vscode-idris
  Idris for Visual Studio Code
  ☆107Updated 3 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated last year
• Jyothsnasrinivas / eta-android-2048
  Android 2048 game using Yampa FRP library in Eta
  ☆57Updated 7 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆39Updated 10 years ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 10 years ago
• mmirman / ImperativeHaskell
  Proof that Haskell can look and act like an imperative language.
  ☆74Updated 13 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 12 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago
• Frege / eclipse-plugin
  The eclipse plugin for frege, codename fregIDE
  ☆31Updated 6 years ago
• Happstack / boomerang
  Library for invertible parsing and printing
  ☆33Updated 5 months ago
• idris-hackers / idris-sublime
  A Plugin to use Idris with Sublime
  ☆27Updated 5 years ago
• TotallyNotChase / valida
  Simple, elegant, profunctorial, applicative validation for product types!
  ☆19Updated 4 years ago
• ddfisher / HaPy
  Haskell bindings for Python
  ☆104Updated 4 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 11 years ago
• coeffects / coeffects-playground
  Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
  ☆61Updated 8 years ago
• zaitsev85 / message-from-space
  ☆34Updated 2 years ago
• skogsbaer / HTF
  Haskell Test Framework
  ☆55Updated last year