Alternatives and similar repositories for spyshare

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

• gfour / gic
  The generalized intensional compiler for a Haskell-like language.
  ☆14Updated 7 years ago
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 4 years ago
• Barry-Jay / Intensional-computation
  translations of a lambda abstraction to combinations of operators
  ☆18Updated 5 years ago
• typeclasses / loc
  Types representing line and column positions and ranges in text files
  ☆11Updated last year
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 4 years ago
• glaebhoerl / simplecompiler
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆17Updated 6 years ago
• conal / quotes
  My favorite quotes
  ☆17Updated 10 months ago
• deech / LeftPad
  ☆23Updated 7 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 7 months ago
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated 2 months ago
• jfdm / velo-lang
  Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
  ☆16Updated 2 years ago
• nominolo / atto-lisp
  Efficient parsing and encoding of Lisp expressions for Haskell.
  ☆24Updated 5 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• LightAndLight / lambdapi
  Educational implementation of dependent types
  ☆19Updated 7 years ago
• wenkokke / unlit
  Tool to convert literate code between styles or to code.
  ☆11Updated 5 years ago
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆22Updated 4 years ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 6 years ago
• oisdk / site
  Source code for doisinkidney.com
  ☆14Updated 3 weeks ago
• TOTBWF / muprl
  A small NuPRL style proof assistant
  ☆31Updated 6 years ago
• haskell-lisp / historic-lisk
  S-expression-based syntax alternative for Haskell.
  ☆21Updated 11 years ago
• jasonhemann / microKanren-shen
  An implementation of microKanren in Shen
  ☆10Updated 10 years ago
• pepeiborra / term
  Term Rewriting Systems
  ☆17Updated 9 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated last month
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 9 years ago
• jyp / MarXup
  Markup language on top of Haskell
  ☆12Updated 7 months ago
• ghc / hadrian
  The Hadrian build system for GHC
  ☆9Updated 6 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 10 years ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆24Updated 9 months ago
• deech / shen-rust
  ☆35Updated 5 years ago