Alternatives and similar repositories for site

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

• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 5 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
• mrkkrp / markkarpov.com
  My personal web site
  ☆17Updated last month
• georgefst / monpad
  A fully-customisable web-based gamepad, designed to be used from smartphones.
  ☆43Updated 3 weeks ago
• NorfairKing / cursor
  Cursor data and manipulation
  ☆22Updated 7 months ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆36Updated last year
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 5 years ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 6 years ago
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆23Updated 5 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 6 years ago
• complyue / hadui
  Web front UI for interactive Haskell projects
  ☆34Updated 5 years ago
• ambuc / cornea
  👁️ Isometric 3D Graphing / Rendering module for Haskell
  ☆15Updated 8 years ago
• elliottt / dang
  A compiler for a strongly typed, haskell-like functional language
  ☆22Updated 7 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
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 6 years ago
• typeclasses / partial-semigroup
  A partial binary associative operator (appendMaybe :: a → a → Maybe a)
  ☆13Updated last year
• ChrisPenner / lens-filesystem
  Lens interface for your filesystem
  ☆22Updated 5 years ago
• ChrisPenner / selections
  Haskell Package for operating with selections over an underlying functor
  ☆22Updated 5 years ago
• boris-ci / boris
  This was the moment that Mark totally lost his shit and started rewriting jenkins in shell and ended up with a haskell build bot.
  ☆19Updated 6 years ago
• andrewthad / quickcheck-classes
  Quickcheck Properties for common typeclasses
  ☆35Updated 3 weeks ago
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆25Updated 6 years ago
• laserpants / fuzzyset-haskell
  A fuzzy string set implementation in Haskell.
  ☆11Updated last year
• quchen / show-prettyprint
  Robust prettyprinter for output of auto-generated Show instances
  ☆17Updated 6 years ago
• ggreif / dynamic-loader
  Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.
  ☆24Updated 7 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated last week
• cokmett / cokmett
  Because Kmett is not expressive enough. You need CoKmett!
  ☆35Updated 12 years ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 5 years ago
• hasura / monad-validate
  (NOTE: REPOSITORY MOVED TO NEW OWNER: https://github.com/lexi-lambda/monad-validate) A Haskell monad transformer library for data validat…
  ☆33Updated 3 years ago
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆27Updated 3 years ago
• effectfully / STLC
  Dependently typed Algorithm M and friends
  ☆26Updated 7 years ago