tbarnetlamb / hyphen

Related projects ⓘ

Alternatives and complementary repositories for hyphen

• qfpl / hpython
  Haskell language tools for Python
  ☆157Updated 4 years ago
• purescript-python / purescript-python
  A Python backend for PureScript.
  ☆121Updated 2 years ago
• quchen / prettyprinter
  A modern, extensible and well-documented prettyprinter.
  ☆295Updated 2 weeks ago
• well-typed / optics
  Optics as an abstract interface
  ☆375Updated 3 months ago
• kowainik / tomland
  🏝 Bidirectional TOML serialization
  ☆122Updated 5 months ago
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆123Updated last year
• bjpop / language-python
  A parser for Python 2.x and 3.x written in Haskell
  ☆157Updated 5 months ago
• def- / ghc-vis
  Visualize live Haskell data structures in GHCi
  ☆135Updated 7 months ago
• mstksg / backprop
  Heterogeneous automatic differentiation ("backpropagation") in Haskell
  ☆181Updated 4 months ago
• sol / markdown-unlit
  Literate Haskell support for Markdown
  ☆135Updated 2 months ago
• ndmitchell / debug
  Haskell library for debugging
  ☆122Updated 5 years ago
• circuithub / rel8
  Hey! Hey! Can u rel8?
  ☆156Updated last month
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆162Updated last year
• ziman / idris-py
  Python backend for Idris (generates Python source, not bytecode).
  ☆124Updated 7 years ago
• ennocramer / floskell
  Floskell is a flexible Haskell source code pretty printer.
  ☆180Updated 4 months ago
• s-zeng / dhall-python
  Up-to-date and maintained python bindings for dhall, a functional configuration language
  ☆45Updated last year
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆204Updated 5 years ago
• nikita-volkov / refined
  Refinement types with static checking
  ☆182Updated this week
• idris-community / inigo
  Inigo: A Package Manager for Idris2
  ☆61Updated 2 years ago
• idris-community / idris2-lsp
  Language Server for Idris2
  ☆164Updated 2 weeks ago
• co-log / co-log
  📓 Flexible and configurable modern #Haskell logging framework
  ☆259Updated 8 months ago
• nomeata / inspection-testing
  Inspection Testing for Haskell
  ☆173Updated last month
• Bodigrim / logict
  A continuation-based backtracking logic programming monad
  ☆85Updated last week
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆124Updated last year
• AndrasKovacs / flatparse
  Fast parsing from bytestrings
  ☆149Updated last week
• guibou / PyF
  Haskell QuasiQuoter for String Formatting
  ☆66Updated 6 months ago
• tfausak / witch
  Convert values from one type into another.
  ☆75Updated 2 weeks ago
• tweag / capability
  Extensional capabilities and deriving combinators
  ☆213Updated 4 months ago
• andrevdm / bhoogle
  Hoogle terminal UI brick example app
  ☆97Updated 8 months ago
• haskellfoundation / error-message-index
  A community-driven collection of documentation for Haskell error messages and warnings
  ☆102Updated 2 weeks ago