dmwit / pulp

Related projects ⓘ

Alternatives and complementary repositories for pulp

• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆145Updated 6 years ago
• liamoc / latex-formulae
  Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
  ☆55Updated 5 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 3 years ago
• diagrams / diagrams-pandoc
  A pandoc filter to express diagrams inline using the haskell EDSL diagrams.
  ☆38Updated 8 months ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆88Updated 2 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆46Updated 2 years ago
• kosmikus / lhs2tex
  Preprocessor for typesetting Haskell sources with LaTeX
  ☆99Updated 11 months ago
• SkySkimmer / HoTTClasses
  HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)
  ☆14Updated 3 years ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆62Updated 10 years ago
• lambdageek / unbound-generics
  Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
  ☆56Updated 7 months ago
• oisdk / agda-ring-solver
  A fast, easy-to-use ring solver for agda with step-by-step solutions
  ☆38Updated 2 years ago
• NorfairKing / the-notes
  The Notes
  ☆12Updated 6 years ago
• haskell-github-trust / replace-megaparsec
  Stream editing with Haskell Megaparsec parsers
  ☆79Updated 5 months ago
• takenobu-hs / ghci-hexcalc
  Haskell/GHCi as a Hex-Calculator interactive
  ☆25Updated 5 months ago
• thumphries / hgrep
  Search Haskell source code from the command line
  ☆76Updated 4 years ago
• olivierverdier / spacemacs-coq
  A very simple coq layer for spacemacs
  ☆36Updated 5 years ago
• elaforge / fast-tags
  Incremental vi and emacs tags for haskell.
  ☆76Updated last month
• nmattia / stutter
  CLI string generator based on regex-like operations
  ☆38Updated 4 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆39Updated last year
• jwiegley / coq-haskell
  A library for formalizing Haskell types and functions in Coq
  ☆167Updated last year
• avieth / Algebraic
  Experiments on the construction of functions
  ☆29Updated 8 years ago
• Lysxia / generic-random
  Generic random generators
  ☆81Updated last year
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆73Updated last month
• simhu / cubical
  Implementation of Univalence in Cubical Sets
  ☆145Updated 9 years ago
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆75Updated last year
• jwiegley / notes
  ☆45Updated 3 months ago
• ualib / agda-algebras
  The Agda Universal Algebra Library (html docs available at the url below)
  ☆29Updated 5 months ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆54Updated last year
• sweirich / corespec
  A Specification for Dependent Types in Haskell (Core)
  ☆65Updated 2 years ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆91Updated 2 weeks ago