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
• diagrams / diagrams-pandoc
  A pandoc filter to express diagrams inline using the haskell EDSL diagrams.
  ☆38Updated 4 months ago
• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆146Updated 7 years ago
• purebred-mua / purebred
  A terminal based mail user agent based on notmuch
  ☆143Updated last month
• wavewave / hoodle
  hoodle : A pen notetaking program written in haskell
  ☆146Updated 2 years ago
• kosmikus / lhs2tex
  Preprocessor for typesetting Haskell sources with LaTeX
  ☆104Updated last month
• nmattia / stutter
  CLI string generator based on regex-like operations
  ☆41Updated 5 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆90Updated 4 years ago
• haskell-boxes / boxes
  A pretty-printing library for laying out text in two dimensions, using a simple box model.
  ☆38Updated last month
• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated 2 years ago
• MarcWeber / hasktags
  Produces ctags "tags" and etags "TAGS" files for Haskell programs
  ☆135Updated 8 months ago
• takenobu-hs / ghci-hexcalc
  Haskell/GHCi as a Hex-Calculator interactive
  ☆26Updated last year
• fmthoma / ascii-art-to-unicode
  Small program to convert ASCII box art to Unicode box drawings.
  ☆60Updated 8 years ago
• ethercrow / yi-config
  ☆15Updated 7 years ago
• weeezes / plot
  Simple plotting tool for the terminal
  ☆87Updated 2 years ago
• jgm / commonmark-hs
  Pure Haskell commonmark parsing library, designed to be flexible and extensible
  ☆142Updated 10 months ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 5 years ago
• willdonnelly / dyre
  A Dynamic Reconfiguration Library for Haskell Programs
  ☆93Updated 5 months ago
• olivierverdier / spacemacs-coq
  A very simple coq layer for spacemacs
  ☆37Updated 6 years ago
• glguy / ssh-hans
  ☆12Updated 5 years ago
• bjornbm / dimensional
  Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
  ☆116Updated last month
• YPares / porcupine
  Express parametrable, composable and portable data pipelines
  ☆88Updated 3 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 3 weeks ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 3 years ago
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆48Updated 7 years ago
• elaforge / fast-tags
  Incremental vi and emacs tags for haskell.
  ☆82Updated last year
• Bodigrim / smallcheck
  Test your Haskell code by exhaustively checking its properties
  ☆137Updated 6 months ago
• goldfirere / units
  The home of the units Haskell package
  ☆101Updated 7 months ago
• jgm / skylighting
  A Haskell syntax highlighting library with tokenizers derived from KDE syntax highlighting descriptions
  ☆215Updated this week