Alternatives and similar repositories for SPL

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

• mauke / poly.poly
  Polyglots
  ☆83Updated 9 years ago
• nomeata / bisect-binary
  Tool to determine relevant parts of binary data
  ☆44Updated 7 years ago
• mcclure / emily
  Git mirror of https://bitbucket.org/runhello/emily
  ☆60Updated 5 years ago
• NixIPFS / notes
  ideas and planning on how to use IPFS together with Nix/OS
  ☆17Updated 8 years ago
• Hullu2000 / BFTK
  Program to compile Brainfuk to a working i686 kernel.
  ☆31Updated 9 years ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆53Updated 2 years ago
• cauterize-tools / cauterize
  Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.
  ☆46Updated 8 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 9 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆52Updated 6 years ago
• pushcx / shenzhen
  Solver for Shenzen Solitaire
  ☆15Updated 7 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 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
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 6 years ago
• koalaman / pack
  Haskell implementation of gzip-compatible `pack` compression from the early 1980s
  ☆39Updated 7 years ago
• Phreedom / nixpkgs-monitor
  nixpkgs package status, freshness and security status monitor
  ☆40Updated 8 years ago
• thufschmitt / tix-papers
  Some writings about a type system for nix
  ☆19Updated 7 years ago
• pietervdvn / ALGT2
  ALGT 2.0
  ☆30Updated 5 years ago
• chrisdone-archive / ircbrowse
  An IRC analysis server.
  ☆81Updated 7 years ago
• mayflower / nixborg
  Tests your pull requests using Hydra
  ☆20Updated 7 years ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 4 years ago
• Gabriella439 / nixfmt
  Automatic code formatter for the Nix programming language
  ☆49Updated 8 years ago
• valpackett / soad
  SOcket Activator/Deactivator: like inetd but not really | now on https://codeberg.org/valpackett/soad
  ☆17Updated 2 years ago
• intolerable / intolerable-bot
  bot for replying to "i'm new" posts on /r/dota2
  ☆13Updated 9 years ago
• fmthoma / ascii-art-to-unicode
  Small program to convert ASCII box art to Unicode box drawings.
  ☆60Updated 8 years ago
• quchen / acme-everything
  Install everything.
  ☆20Updated 6 years ago
• paf31 / Embedding-a-Full-Linear-Lambda-Calculus-in-Haskell
  Embedding a Full Linear Lambda Calculus in Haskell
  ☆8Updated 9 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 7 years ago