Alternatives and similar repositories for pulp

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

• liamoc / latex-formulae
  Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
  ☆57Updated 6 years ago
• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆146Updated 6 years ago
• diagrams / diagrams-pandoc
  A pandoc filter to express diagrams inline using the haskell EDSL diagrams.
  ☆38Updated this week
• kosmikus / lhs2tex
  Preprocessor for typesetting Haskell sources with LaTeX
  ☆103Updated last year
• nmattia / stutter
  CLI string generator based on regex-like operations
  ☆40Updated 5 years ago
• takenobu-hs / ghci-hexcalc
  Haskell/GHCi as a Hex-Calculator interactive
  ☆26Updated last year
• purebred-mua / purebred
  A terminal based mail user agent based on notmuch
  ☆140Updated this week
• wavewave / hoodle
  hoodle : A pen notetaking program written in haskell
  ☆146Updated 2 years ago
• olivierverdier / spacemacs-coq
  A very simple coq layer for spacemacs
  ☆37Updated 6 years ago
• Bodigrim / smallcheck
  Test your Haskell code by exhaustively checking its properties
  ☆136Updated last month
• jwiegley / coq-haskell
  A library for formalizing Haskell types and functions in Coq
  ☆170Updated last year
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆46Updated 7 years ago
• weeezes / plot
  Simple plotting tool for the terminal
  ☆87Updated last year
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• MarcWeber / hasktags
  Produces ctags "tags" and etags "TAGS" files for Haskell programs
  ☆132Updated 4 months ago
• sdiehl / repline
  Haskeline wrapper for GHCi-like REPL interfaces
  ☆106Updated 4 months ago
• jgm / commonmark-hs
  Pure Haskell commonmark parsing library, designed to be flexible and extensible
  ☆141Updated 6 months ago
• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated last year
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆76Updated 3 weeks ago
• valpackett / intero.nvim
  Haskell+Neovim lightning fast autocompletion and other IDE functionality
  ☆77Updated 9 years ago
• sol / markdown-unlit
  Literate Haskell support for Markdown
  ☆146Updated 6 months ago
• bjornbm / dimensional
  Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
  ☆112Updated 10 months ago
• derekelkins / agda-vim
  Agda interaction in vim
  ☆135Updated 3 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆149Updated 4 years ago
• elaforge / fast-tags
  Incremental vi and emacs tags for haskell.
  ☆80Updated 7 months ago
• neovimhaskell / neovim-ghcmod
  ☆16Updated 9 years ago
• NorfairKing / tui-base
  A base to start writing a tui from
  ☆35Updated last year
• def- / ghc-vis
  Visualize live Haskell data structures in GHCi
  ☆141Updated last year
• jekor / hesh
  Haskell Extensible Shell
  ☆68Updated 5 years ago
• Lysxia / generic-random
  Generic random generators
  ☆81Updated 2 years ago