Alternatives and similar repositories for hyphen:

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

• kowainik / tomland
  🏝 Bidirectional TOML serialization
  ☆125Updated last month
• qfpl / hpython
  Haskell language tools for Python
  ☆157Updated 4 years ago
• ddfisher / HaPy
  Haskell bindings for Python
  ☆102Updated 3 years ago
• idris-community / idris2-lsp
  Language Server for Idris2
  ☆169Updated last month
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆125Updated last year
• purescript-python / purescript-python
  A Python backend for PureScript.
  ☆122Updated 3 years ago
• stefan-hoeck / idris2-pack
  ☆108Updated last week
• ocharles / weeder
  A re-implementation of weeder using HIE files
  ☆170Updated this week
• quchen / prettyprinter
  A modern, extensible and well-documented prettyprinter.
  ☆297Updated 2 months ago
• AndrasKovacs / flatparse
  Fast parsing from bytestrings
  ☆154Updated 3 weeks ago
• well-typed / optics
  Optics as an abstract interface
  ☆378Updated 3 weeks ago
• nomeata / inspection-testing
  Inspection Testing for Haskell
  ☆175Updated 3 weeks ago
• co-log / co-log
  📓 Flexible and configurable modern #Haskell logging framework
  ☆261Updated 3 weeks ago
• circuithub / rel8
  Hey! Hey! Can u rel8?
  ☆157Updated 2 weeks ago
• tweag / linear-base
  Standard library for linear types in Haskell.
  ☆338Updated 2 months ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆181Updated this week
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆124Updated last year
• tfausak / witch
  Convert values from one type into another.
  ☆76Updated this week
• yav / graphmod
  A utility for displaying the module dependencies of Haskell programs.
  ☆183Updated 6 months ago
• kosmikus / lhs2tex
  Preprocessor for typesetting Haskell sources with LaTeX
  ☆101Updated last year
• edwinb / Yaffle
  A core language and API for dependently typed languages
  ☆89Updated last year
• def- / ghc-vis
  Visualize live Haskell data structures in GHCi
  ☆136Updated 9 months ago
• sol / markdown-unlit
  Literate Haskell support for Markdown
  ☆140Updated last month
• tomjaguarpaw / bluefin
  ☆80Updated 2 weeks ago
• scmu / aopa
  Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
  ☆80Updated 8 years ago
• Bodigrim / logict
  A continuation-based backtracking logic programming monad
  ☆85Updated 2 months ago
• JeanHuguesdeRaigniac / effects-landscape
  Effects libraries in Haskell
  ☆71Updated last year
• phadej / cabal-extras
  A tool suite to aid Haskell development using `cabal-install`
  ☆83Updated last month
• NorfairKing / validity
  Validity and validity-based testing
  ☆159Updated 3 weeks ago
• re-xyr / cleff
  Fast and concise extensible effects
  ☆107Updated last year