Alternatives and similar repositories for site

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

• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated last year
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 5 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 6 months ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 6 years ago
• ChrisPenner / lens-filesystem
  Lens interface for your filesystem
  ☆22Updated 4 years ago
• dalaing / type-systems
  ☆23Updated 8 years ago
• ambuc / cornea
  👁️ Isometric 3D Graphing / Rendering module for Haskell
  ☆15Updated 8 years ago
• effectfully / STLC
  Dependently typed Algorithm M and friends
  ☆25Updated 7 years ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 6 years ago
• typeclasses / partial-semigroup
  A partial binary associative operator (appendMaybe :: a → a → Maybe a)
  ☆13Updated last year
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆23Updated 4 years ago
• joom / direct-reflection-for-free
  using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell
  ☆15Updated 5 years ago
• jwiegley / parsec-free
  ☆23Updated 2 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 5 years ago
• gallais / agdarky
  Agda suffices: software written from A to Z in Agda
  ☆16Updated 6 years ago
• serokell / foundry
  Morte IDE
  ☆29Updated 6 months ago
• chrisdone-archive / sdl2-sprite
  Create and animate sprites easily with sdl2 (Haskell)
  ☆24Updated 7 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• omelkonian / rewrite-inspector
  A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…
  ☆21Updated 6 years ago
• gelisam / hyzzy
  A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
  ☆32Updated 5 years ago
• ekmett / perhaps
  A monad, perhaps.
  ☆32Updated 5 years ago
• lortabac / ariel
  A simple, purely-functional programming language
  ☆25Updated 3 years ago
• twanvl / simple-reflect
  Simple reflection of expressions
  ☆34Updated 4 years ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 5 years ago
• NorfairKing / cursor
  Cursor data and manipulation
  ☆22Updated 5 months ago
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆27Updated 2 years ago
• mrkkrp / markkarpov.com
  My personal web site
  ☆17Updated last month
• twanvl / ttie
  Type Theory with Indexed Equality
  ☆26Updated 8 years ago
• deepfire / nh
  Manage Nix Haskell override sets
  ☆11Updated 7 years ago