Alternatives and similar repositories for REPLica:

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

• mstksg / typelits-printf
  Type-safe printf from parsing GHC TypeLits Symbol
  ☆26Updated 6 months ago
• monadfix / shower
  Clean up the formatting of 'show' output
  ☆21Updated 6 months ago
• system-f / papa
  Reasonable Haskell default import
  ☆27Updated 2 years ago
• MercuryTechnologies / hlint-plugin
  GHC plugin for hlint
  ☆11Updated last year
• stefan-hoeck / idris2-json
  Automatically derivable JSON marshallers in the spirit of Haskell's aeson
  ☆16Updated 9 months ago
• sellout / dredd
  Automatic type class law checking.
  ☆24Updated last month
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 5 years ago
• parsonsmatt / require-callstack
  Require that callers propagate `HasCallStack` constraints
  ☆21Updated 2 months ago
• evanrelf / drama
  🎭 Actor library for Haskell
  ☆30Updated 2 years ago
• madman-bob / idris2-table
  A table library for Idris 2
  ☆14Updated 2 years ago
• cdepillabout / world-peace
  open union and open product types in Haskell
  ☆32Updated 4 years ago
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated last year
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆23Updated 5 years ago
• ohad / collie
  Command line interface library in Idris
  ☆31Updated 7 months ago
• byteverse / bytesmith
  Parse bytes fast
  ☆24Updated 10 months ago
• emilypi / nonempty-vector
  Non-empty Vectors
  ☆24Updated 2 months ago
• typesanitizer / ozil
  Browsing man pages and help pages with zero friction.
  ☆35Updated 6 years ago
• alexhumphreys / hello-idris2
  A template for idris projects
  ☆11Updated 3 years ago
• mzabani / codd
  Codd is a simple-to-use CLI tool that applies plain postgres SQL migrations atomically with strong and automatic cross-environment schema…
  ☆38Updated last week
• ChrisPenner / recursive-zipper
  Zippers for cofree types
  ☆12Updated 3 years ago
• knupfer / chronos
  Benchmarking tool with focus on comparing results.
  ☆16Updated 6 months ago
• AJChapman / co-log-polysemy-formatting
  A Haskell library: A fancy logging effect for Polysemy using the formatting library to format log messages.
  ☆12Updated 3 years ago
• codedownio / servant-typescript
  TypeScript client generation for Servant
  ☆18Updated 2 years ago
• mpickering / old-ghc-nix
  Old and New GHC
  ☆20Updated 2 years ago
• qfpl / ban-instance
  Declare that a typeclass instance should not exist.
  ☆11Updated 10 months ago
• Kleidukos / boreal
  ☆20Updated 4 months ago
• haskell-hvr / text-short
  Memory-efficient representation of Unicode text strings
  ☆22Updated 2 months ago
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆44Updated 3 years ago
• phoityne / ghci-dap
  ghci having DAP interface.
  ☆21Updated 2 weeks ago
• tfausak / splint
  HLint as a GHC source plugin.
  ☆31Updated 8 months ago