Alternatives and similar repositories for hyphen

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

• qfpl / hpython
  Haskell language tools for Python
  ☆160Updated 5 years ago
• kowainik / tomland
  🏝 Bidirectional TOML serialization
  ☆128Updated last month
• purescript-python / purescript-python
  A Python backend for PureScript.
  ☆122Updated 3 years ago
• ocharles / weeder
  A re-implementation of weeder using HIE files
  ☆177Updated this week
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆129Updated 2 years ago
• quchen / prettyprinter
  A modern, extensible and well-documented prettyprinter.
  ☆301Updated 7 months ago
• ddfisher / HaPy
  Haskell bindings for Python
  ☆102Updated 4 years ago
• tweag / linear-base
  Standard library for linear types in Haskell.
  ☆344Updated this week
• sol / markdown-unlit
  Literate Haskell support for Markdown
  ☆142Updated 3 months ago
• kosmikus / lhs2tex
  Preprocessor for typesetting Haskell sources with LaTeX
  ☆103Updated last year
• circuithub / rel8
  Hey! Hey! Can u rel8?
  ☆159Updated last month
• def- / ghc-vis
  Visualize live Haskell data structures in GHCi
  ☆137Updated last year
• nomeata / inspection-testing
  Inspection Testing for Haskell
  ☆177Updated 2 weeks ago
• idris-community / idris2-lsp
  Language Server for Idris2
  ☆178Updated last week
• well-typed / optics
  Optics as an abstract interface
  ☆385Updated last week
• mstksg / backprop
  Heterogeneous automatic differentiation ("backpropagation") in Haskell
  ☆189Updated 3 weeks ago
• ziman / idris-py
  Python backend for Idris (generates Python source, not bytecode).
  ☆124Updated 7 years ago
• visortelle / haskell-spotlight
  VSCode extension for Haskell
  ☆110Updated 5 months ago
• scmu / aopa
  Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
  ☆83Updated 8 years ago
• wasp-lang / haskell-handbook
  Best practices on how to be efficient with Haskell in production
  ☆97Updated last year
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆189Updated last week
• bjpop / language-python
  A parser for Python 2.x and 3.x written in Haskell
  ☆158Updated 3 weeks ago
• goldfirere / singletons
  Fake dependent types in Haskell using singletons
  ☆290Updated 2 months ago
• AndrasKovacs / flatparse
  Fast parsing from bytestrings
  ☆161Updated this week
• ennocramer / floskell
  Floskell is a flexible Haskell source code pretty printer.
  ☆184Updated 11 months ago
• co-log / co-log
  📓 Flexible and configurable modern #Haskell logging framework
  ☆261Updated 2 months ago
• yav / graphmod
  A utility for displaying the module dependencies of Haskell programs.
  ☆182Updated 11 months ago
• NorfairKing / validity
  Validity and validity-based testing
  ☆160Updated last month
• tomjaguarpaw / bluefin
  ☆108Updated 3 weeks ago
• agda / agda-language-server
  Language Server for Agda
  ☆112Updated 6 months ago