Alternatives and similar repositories for rope

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

• david-christiansen / final-pretty-printer
  A monadic (and pretty) pretty printer for Haskell
  ☆39Updated 2 years ago
• nfrisby / coxswain
  A GHC type checker plugin for row types
  ☆39Updated 8 years ago
• YellPika / effin
  A Typeable-free implementation of extensible effects
  ☆26Updated 8 years ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 10 years ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆43Updated 4 months ago
• edsko / ghc-dump-tree
  Dump GHC's abstract syntax trees
  ☆41Updated 3 years ago
• Gabriella439 / list-transformer
  List monad transformer
  ☆60Updated last year
• haskell-backpack / backpack-str
  The Str signature and implementations
  ☆21Updated 8 years ago
• ekmett / zippers
  Zippers based on lenses and traversals
  ☆41Updated 2 years ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 9 years ago
• turingjump / bookkeeper
  ☆54Updated 6 years ago
• pseudonom / phantheck
  Integrates QuickChecked properties into the type system with phantom types
  ☆34Updated 9 years ago
• atzeus / CTRex
  Open records for Haskell
  ☆22Updated 8 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆40Updated 10 years ago
• pa-ba / McCarthy-Painter
  Coq proof for the paper "Compiling a Fifty Year Journey"
  ☆13Updated 8 years ago
• dorchard / codo-notation
  Codo notation for programming with comonads in Haskell
  ☆25Updated 4 years ago
• gelisam / conway
  Demonstrating comonad transformers.
  ☆37Updated 9 years ago
• chpatrick / codec
  Easy bidirectional serialization in Haskell
  ☆49Updated 6 years ago
• ggreif / dynamic-loader
  Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.
  ☆24Updated 7 years ago
• ocharles / dhallql
  Can we write a querying language with Dhall? Let's find out!
  ☆63Updated 7 years ago
• Gabriella439 / pipes-concurrency
  Concurrency for the pipes ecosystem
  ☆44Updated 3 years ago
• ivan-m / haskell-docs
  Get the Haskell documentation of a name from a module
  ☆31Updated 6 years ago
• OlafChitil / hat
  The Haskell tracer - generating and viewing Haskell execution traces
  ☆38Updated 2 years ago
• ku-fpg / data-reify
  Reification of data structures using observable sharing
  ☆29Updated 11 months ago
• bfops / open-union
  Type-safe open unions in Haskell
  ☆32Updated 7 years ago
• ezyang / ghc-shake
  ghc --make reimplemented with Shake
  ☆32Updated 2 years ago
• ucsd-progsys / liquid-types-spacemacs
  Spacemacs Layer for LiquidHaskell
  ☆13Updated 8 years ago
• jwiegley / parsec-free
  ☆23Updated 2 years ago
• agocorona / TCache
  Transactional cache with configurable persistence
  ☆45Updated 2 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago