Alternatives and similar repositories for pesto:

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

• richfelker / cowpatch
  ☆17Updated 4 years ago
• jgm / doclayout
  A prettyprinting library designed for laying out plain text documents
  ☆23Updated 4 months ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 7 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆18Updated 5 years ago
• jwilk / anorack
  “a” vs “an” checker
  ☆33Updated 2 months ago
• GaloisInc / llvm-verifier
  The LLVM Symbolic Simulator, part of SAW.
  ☆21Updated 4 years ago
• stewy33 / merchant
  A package manager for the Mercury logic programming language.
  ☆17Updated 4 years ago
• ivanov / kanten
  the enlightened pager. less paging. more content. read widely.
  ☆21Updated 4 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 8 years ago
• beastaugh / hatt
  Truth-table generator for classical propositional logic
  ☆26Updated 3 years ago
• ridiculousfish / littlecheck
  Test driver for command line tools
  ☆30Updated 2 weeks ago
• aaronjanse / marble-complete
  Design a turing-complete marble run with ascii/unicode art
  ☆54Updated 6 years ago
• jan-Lope / Toki_Pona-Parser
  Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…
  ☆49Updated 2 months ago
• jgm / pandoc-server
  Simple server app for pandoc conversions.
  ☆21Updated 2 years ago
• mouse-reeve / fact-join
  Combine two wikipedia pages to make new facts. Tweets @brand_new_facts
  ☆18Updated 6 years ago
• shachaf / mustardwatch
  Detect what files a program uses and rerun it when they change
  ☆29Updated 2 years ago
• mptre / mdsort
  move messages from one maildir to another
  ☆13Updated 4 months ago
• exercism / coq
  Exercism exercises in Coq.
  ☆18Updated 2 months ago
• alexpdp7 / pandocsql
  Embed and execute SQL in Markdown
  ☆13Updated 9 months ago
• SupraSummus / dhall-python
  Work in progress pure python dhall interpreter
  ☆27Updated 6 years ago
• someodd / waffle
  Haskell Gopher Protocol TUI Client 🧇
  ☆22Updated 10 months ago
• bennorth / literate-git
  Render hierarchical git repositories into HTML
  ☆73Updated last week
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆25Updated 3 weeks ago
• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 8 years ago
• jgm / gitit2
  A reimplementation of gitit in Yesod
  ☆95Updated 6 years ago
• owickstrom / pandoc-emphasize-code
  A Pandoc filter for emphasizing code in fenced blocks
  ☆28Updated last year
• da-x / fancydiff
  Colorful Git diffs for terminal and web, including source syntax highlighting
  ☆24Updated 5 years ago
• chrra / iCalendar
  iCalendar data types, parser, and printer.
  ☆38Updated 3 weeks ago
• sjoerdvisscher / HueAPI
  Haskell API for controlling Phillips Hue lights
  ☆15Updated 8 years ago