Alternatives and similar repositories for pesto

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

• bennorth / literate-git
  Render hierarchical git repositories into HTML
  ☆74Updated last year
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆91Updated 4 years ago
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 5 years ago
• MaxwellBo / well-documented
  📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications
  ☆60Updated 4 years ago
• sternenseemann / spacecookie
  gopher library & server written in Haskell
  ☆47Updated 8 months ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆49Updated 8 months ago
• oblivia-simplex / plog
  A bare-bones blogging system, written in Prolog
  ☆26Updated 2 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 11 years ago
• cdosborn / lit
  A modern tool for literate programming
  ☆277Updated 8 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 3 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• Happstack / boomerang
  Library for invertible parsing and printing
  ☆33Updated 5 months ago
• TomSmeets / FractalArt
  Generate colorful wallpapers!
  ☆87Updated 3 years ago
• evincarofautumn / Ward
  A static analysis tool for C.
  ☆29Updated 6 years ago
• olpa / gf-tokipona
  Describe Toki Pona using Grammatical Framework
  ☆11Updated 5 years ago
• beastaugh / hatt
  Truth-table generator for classical propositional logic
  ☆26Updated 4 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆21Updated 6 years ago
• nomeata / bisect-binary
  Tool to determine relevant parts of binary data
  ☆44Updated 8 years ago
• dmjio / LC3
  The LC3 virtual machine
  ☆24Updated last year
• SupraSummus / dhall-python
  Work in progress pure python dhall interpreter
  ☆27Updated 7 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
• gibiansky / jupyter-haskell
  A Haskell implementation of the Jupyter messaging protocol
  ☆41Updated 5 years ago
• fmthoma / ascii-art-to-unicode
  Small program to convert ASCII box art to Unicode box drawings.
  ☆60Updated 8 years ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆28Updated last year
• wenkokke / unlit
  Tool to convert literate code between styles or to code.
  ☆11Updated 6 years ago
• hellerve / ptolemy
  My reading list
  ☆85Updated 3 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 9 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 7 years ago
• jacereda / fsatrace
  Filesystem access tracer
  ☆87Updated last year