Alternatives and similar repositories for pulp:

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

• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• olivierverdier / spacemacs-coq
  A very simple coq layer for spacemacs
  ☆36Updated 5 years ago
• takenobu-hs / ghci-hexcalc
  Haskell/GHCi as a Hex-Calculator interactive
  ☆25Updated 11 months ago
• liamoc / latex-formulae
  Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
  ☆57Updated 5 years ago
• wavewave / hoodle
  hoodle : A pen notetaking program written in haskell
  ☆146Updated last year
• bjornbm / dimensional
  Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
  ☆112Updated 6 months ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• diagrams / diagrams-pandoc
  A pandoc filter to express diagrams inline using the haskell EDSL diagrams.
  ☆38Updated last year
• wilcoxjay / coq-lit
  Literate coq blog posts
  ☆17Updated 9 years ago
• flupe / achille
  A Haskell library for building incremental static site generators
  ☆15Updated last year
• TheoWinterhalter / formal-type-theory
  Formalising Type Theory in a modular way for translations between type theories
  ☆94Updated 7 years ago
• SkySkimmer / HoTTClasses
  HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)
  ☆15Updated 4 years ago
• purebred-mua / purebred
  A terminal based mail user agent based on notmuch
  ☆142Updated 3 months ago
• soupi / minimal-haskell-emacs
  A minimal emacs configuration for haskell programming
  ☆31Updated 2 years ago
• jwiegley / notes
  ☆48Updated this week
• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆145Updated 6 years ago
• evertedsphere / noether
  Highly polymorphic algebraic structures with custom deriving strategies
  ☆30Updated 3 years ago
• avieth / Algebraic
  Experiments on the construction of functions
  ☆29Updated 9 years ago
• neovimhaskell / neovim-ghcmod
  ☆16Updated 9 years ago
• rocq-community / lemma-overloading
  Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
  ☆27Updated last month
• elaforge / fast-tags
  Incremental vi and emacs tags for haskell.
  ☆77Updated 3 months ago
• sdiehl / cats
  Generate commutative diagrams inside of Pandoc with Tikz
  ☆35Updated 7 years ago
• haskell-boxes / boxes
  A pretty-printing library for laying out text in two dimensions, using a simple box model.
  ☆37Updated 4 years ago
• qfpl / sv
  Comma (and other) separated values
  ☆78Updated last year
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 11 months ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated last month
• 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
  ☆86Updated last year
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆72Updated last month
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆87Updated 6 years ago