Alternatives and similar repositories for spyshare:

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

• deech / LeftPad
  ☆23Updated 7 years ago
• gfour / gic
  The generalized intensional compiler for a Haskell-like language.
  ☆14Updated 7 years ago
• typeclasses / loc
  Types representing line and column positions and ranges in text files
  ☆11Updated last year
• Barry-Jay / Intensional-computation
  translations of a lambda abstraction to combinations of operators
  ☆18Updated 5 years ago
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 4 years ago
• suhr / wcpl
  ☆16Updated 6 years ago
• glaebhoerl / simplecompiler
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆17Updated 6 years ago
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 4 years ago
• cedille / cedille-cast
  Source files used for the Cedille Cast videos
  ☆12Updated 4 years ago
• bitonic / hakyll-agda
  Hakyll support for Agda literate files
  ☆19Updated 3 years ago
• pepeiborra / term
  Term Rewriting Systems
  ☆17Updated 9 years ago
• Happstack / boomerang
  Library for invertible parsing and printing
  ☆31Updated 9 months ago
• 5outh / Molecule
  A tiny statically typed programming language
  ☆18Updated 10 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 7 months ago
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆22Updated 4 years ago
• rudymatela / extrapolate
  generalize counter-examples of property-based testing
  ☆13Updated last month
• isovector / containers-good-graph
  It's Data.Graph, but it doesn't suck!
  ☆16Updated 3 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 4 months ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated 9 months ago
• norm2782 / NanoProlog
  ☆17Updated last year
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆28Updated 5 years ago
• LightAndLight / lambdapi
  Educational implementation of dependent types
  ☆19Updated 6 years ago
• philzook58 / lens-algebra
  Type level algebraic "proofs" using lens combinators
  ☆19Updated 5 years ago
• conal / quotes
  My favorite quotes
  ☆17Updated 7 months ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 5 years ago
• deech / shen-rust
  ☆35Updated 5 years ago
• awakesecurity / language-ninja
  A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
  ☆35Updated 7 years ago