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
• Hullu2000 / BFTK
  Program to compile Brainfuk to a working i686 kernel.
  ☆31Updated 9 years ago
• mvv / data-elf
  ELF data structures for Haskell
  ☆24Updated last year
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• cauterize-tools / cauterize
  Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.
  ☆46Updated 7 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 10 years ago
• hsyl20 / haskus-system
  ☆27Updated 6 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 9 years ago
• mcclure / emily
  Git mirror of https://bitbucket.org/runhello/emily
  ☆60Updated 4 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆53Updated 6 years ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆53Updated 2 years ago
• ollef / braces-be-gone
  Get those pesky braces out of your face
  ☆49Updated 7 years ago
• pontarius / pontarius-xmpp
  An XMPP client library for Haskell.
  ☆53Updated 3 years ago
• avieth / Algebraic
  Experiments on the construction of functions
  ☆29Updated 9 years ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 4 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 8 years ago
• iKevinY / blerp
  xkcd #1692: Man Page
  ☆45Updated 7 years ago
• mauke / poly.poly
  Polyglots
  ☆82Updated 9 years ago
• steinuil / negoto-old-and-busted
  Barely functional imageboard
  ☆11Updated 8 years ago
• quchen / acme-everything
  Install everything.
  ☆20Updated 6 years ago
• Daniel-Diaz / haskintex
  Haskell Evaluation inside of LaTeX code.
  ☆22Updated last year
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• chrisdone-archive / descriptive
  Self-describing consumers/parsers
  ☆42Updated 6 years ago
• NixIPFS / notes
  ideas and planning on how to use IPFS together with Nix/OS
  ☆17Updated 8 years ago
• bgamari / hoogle-index
  Easily generate Hoogle indices for installed packages
  ☆25Updated 8 years ago
• erebe / systemd
  Haskell bindings for systemd
  ☆18Updated 8 months ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• evincarofautumn / Toody
  A two-dimensional parser combinator library.
  ☆41Updated 7 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆33Updated 4 years ago