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 2 months ago
• olivierverdier / spacemacs-coq
  A very simple coq layer for spacemacs
  ☆37Updated 6 years 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
  ☆142Updated 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 year
• danr / hipspec
  A hip inductive theorem prover!
  ☆90Updated 4 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 5 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆149Updated 4 years ago
• bjornbm / dimensional
  Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
  ☆114Updated last year
• sdiehl / cats
  Generate commutative diagrams inside of Pandoc with Tikz
  ☆34Updated 8 years ago
• jgm / commonmark-hs
  Pure Haskell commonmark parsing library, designed to be flexible and extensible
  ☆141Updated 8 months ago
• jekor / hesh
  Haskell Extensible Shell
  ☆68Updated 5 years ago
• flupe / achille
  A Haskell library for building incremental static site generators
  ☆15Updated last year
• nmattia / stutter
  CLI string generator based on regex-like operations
  ☆41Updated 5 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆69Updated 9 years ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆67Updated 3 weeks ago
• wilcoxjay / coq-lit
  Literate coq blog posts
  ☆17Updated 9 years ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆95Updated last year
• jgm / emojis
  Haskell library for emojis
  ☆30Updated last year
• takenobu-hs / ghci-hexcalc
  Haskell/GHCi as a Hex-Calculator interactive
  ☆26Updated last year
• TheoWinterhalter / formal-type-theory
  Formalising Type Theory in a modular way for translations between type theories
  ☆95Updated 7 years ago
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆105Updated 4 years ago
• the-lambda-church / coquille
  Interactive theorem proving with Coq in vim.
  ☆185Updated 5 years ago
• haskell-boxes / boxes
  A pretty-printing library for laying out text in two dimensions, using a simple box model.
  ☆38Updated 4 years ago
• weeezes / plot
  Simple plotting tool for the terminal
  ☆87Updated 2 years ago
• owickstrom / pandoc-emphasize-code
  A Pandoc filter for emphasizing code in fenced blocks
  ☆29Updated 2 years ago
• SkySkimmer / HoTTClasses
  HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)
  ☆16Updated 4 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 7 months ago