Alternatives and similar repositories for loc

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

• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 5 months ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• lthms / chain
  Extensible, Type Safe Error Handling in Haskell
  ☆13Updated 4 years ago
• typeclasses / partial-semigroup
  A partial binary associative operator (appendMaybe :: a → a → Maybe a)
  ☆13Updated 8 months ago
• paf31 / partial
  A nullary type class for partial functions
  ☆15Updated 7 years ago
• bitonic / hakyll-agda
  Hakyll support for Agda literate files
  ☆19Updated 3 years ago
• Cognimeta / perdure
  Robust persistence for typed immutable data
  ☆17Updated 8 years ago
• tdammers / ghc-wiki
  The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)
  ☆12Updated 6 years ago
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆23Updated 4 years ago
• deepfire / nh
  Manage Nix Haskell override sets
  ☆11Updated 6 years ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• rudymatela / extrapolate
  generalize counter-examples of property-based testing
  ☆13Updated 4 months ago
• shlevy / cat-fiat
  An attempt to formalize unix cat in fiat
  ☆12Updated 8 years ago
• nikita-volkov / vector-builder
  Vector builder
  ☆16Updated 4 months ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• iconnect / ridley
  A collection of ready-to-use Prometheus Metrics to monitor your Haskell application
  ☆13Updated 10 months ago
• conal / total-map
  Finitely represented /total/ maps
  ☆17Updated 5 years ago
• nikita-volkov / slave-thread
  A principal solution to ghost threads and silent exceptions
  ☆24Updated last year
• ekmett / charset
  fast utf-8 character sets
  ☆13Updated 3 months ago
• gallais / agdarky
  Agda suffices: software written from A to Z in Agda
  ☆16Updated 6 years ago
• tel / hotep
  "Fail Fast" process management for Haskell; inspired by Erlang
  ☆16Updated 8 years ago
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 4 years ago
• pepeiborra / term
  Term Rewriting Systems
  ☆17Updated 9 years ago
• mmark-md / mmark-ext
  Commonly useful extensions for the MMark markdown processor
  ☆11Updated last month
• well-typed / lens-sop
  Computing lenses generically using generics-sop
  ☆16Updated 7 months ago
• ziman / itt
  Tiny dependent calculus with inference of irrelevance and erasure
  ☆15Updated 5 years ago
• haskell-foundation / foundation-edge
  types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...
  ☆18Updated 8 years ago
• csabahruska / jhc-grin
  GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)
  ☆16Updated 6 years ago
• HuwCampbell / idris-lens
  van Laarhoven lenses for Idris
  ☆20Updated 7 years ago