Alternatives and similar repositories for pesto

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

• MaxwellBo / well-documented
  📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications
  ☆60Updated 4 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆20Updated 6 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆91Updated 3 years ago
• cdosborn / lit
  A modern tool for literate programming
  ☆277Updated 8 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• bennorth / literate-git
  Render hierarchical git repositories into HTML
  ☆74Updated 11 months ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 9 years ago
• sternenseemann / spacecookie
  gopher library & server written in Haskell
  ☆46Updated 6 months ago
• jacereda / fsatrace
  Filesystem access tracer
  ☆85Updated last year
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 3 years ago
• cchalmers / pcg-random
  Haskell interface to the pcg random number generator
  ☆41Updated last year
• oblivia-simplex / plog
  A bare-bones blogging system, written in Prolog
  ☆26Updated last year
• noether-lang / noether
  Noether programming language
  ☆129Updated 8 years ago
• someodd / waffle
  Haskell Gopher Protocol TUI Client 🧇
  ☆22Updated last year
• Happstack / boomerang
  Library for invertible parsing and printing
  ☆33Updated 3 months ago
• mchakravarty / BigPixel
  Pixel art for games
  ☆139Updated 10 years ago
• haskell / hackage-security
  Hackage security framework based on TUF (The Update Framework)
  ☆62Updated 3 months ago
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 9 years ago
• sjoerdvisscher / HueAPI
  Haskell API for controlling Phillips Hue lights
  ☆15Updated 9 years ago
• nomyx / Nomyx
  The Nomyx game
  ☆84Updated 2 years ago
• evincarofautumn / Ward
  A static analysis tool for C.
  ☆28Updated 6 years ago
• wenkokke / unlit
  Tool to convert literate code between styles or to code.
  ☆11Updated 6 years ago
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆23Updated 6 years ago
• SupraSummus / dhall-python
  Work in progress pure python dhall interpreter
  ☆27Updated 6 years ago
• jkarni / ZipperFS
  Oleg Kiselyov's zipper-based file-server/OS
  ☆27Updated 5 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆31Updated 6 years ago
• TOTBWF / iso
  A reversible language
  ☆22Updated 7 years ago
• andrejbauer / marshall
  Real number computation software
  ☆128Updated 3 years ago