Alternatives and similar repositories for SPL

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

• nomeata / bisect-binary
  Tool to determine relevant parts of binary data
  ☆44Updated 7 years ago
• snoyberg / vegito
  Some standalone stream fusion experiments
  ☆13Updated 9 years ago
• mvv / data-elf
  ELF data structures for Haskell
  ☆24Updated 2 years ago
• jozefg / graph-models
  Notes on P-omega
  ☆14Updated 7 years ago
• avieth / Algebraic
  Experiments on the construction of functions
  ☆29Updated 9 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 9 years ago
• mikeizbicki / parsed
  a haskellified version of the classic sed unix tool
  ☆21Updated 10 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago
• ollef / braces-be-gone
  Get those pesky braces out of your face
  ☆49Updated 7 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• Fuuzetsu / acme-cutegirl
  A package which exists solely to try and give the user a cute girl. Executable and library are both available.
  ☆10Updated 6 years ago
• pietervdvn / ALGT2
  ALGT 2.0
  ☆30Updated 5 years ago
• mcclure / emily
  Git mirror of https://bitbucket.org/runhello/emily
  ☆60Updated 4 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆52Updated 6 years ago
• cauterize-tools / cauterize
  Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.
  ☆46Updated 8 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 10 years ago
• agrafix / hackmanager
  Simplify managing Haskell projects by generating files like README.md, .travis.yml, etc.
  ☆12Updated 9 years ago
• pushcx / shenzhen
  Solver for Shenzen Solitaire
  ☆15Updated 7 years ago
• soenkehahn / dead-code-detection
  ☆25Updated 8 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 2 years ago
• chrisdone-archive / ircbrowse
  An IRC analysis server.
  ☆81Updated 7 years ago
• cies / htoml
  TOML file format parser in Haskell
  ☆39Updated 3 years ago
• benclifford / acme-smuggler
  Smuggle arbitrary values in ()
  ☆12Updated 2 years ago
• haroldcarr / json-pretty-print
  compact, human-readable json pretty printing
  ☆14Updated last year
• pontarius / pontarius-xmpp
  An XMPP client library for Haskell.
  ☆53Updated 3 years ago
• paf31 / Embedding-a-Full-Linear-Lambda-Calculus-in-Haskell
  Embedding a Full Linear Lambda Calculus in Haskell
  ☆8Updated 9 years ago
• mgajda / monad-lgbt
  Monad transformers for combining local and global state with backtracking/backjumping/continuations
  ☆12Updated 8 years ago
• ltext / ltext
  λtext - higher-order file applicator
  ☆36Updated last year
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago