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
• cauterize-tools / cauterize
  Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.
  ☆46Updated 8 years ago
• nomeata / bisect-binary
  Tool to determine relevant parts of binary data
  ☆44Updated 7 years ago
• koalaman / pack
  Haskell implementation of gzip-compatible `pack` compression from the early 1980s
  ☆39Updated 7 years ago
• Hullu2000 / BFTK
  Program to compile Brainfuk to a working i686 kernel.
  ☆31Updated 9 years ago
• chrisdone-archive / ircbrowse
  An IRC analysis server.
  ☆81Updated 7 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆109Updated 8 years ago
• NixIPFS / notes
  ideas and planning on how to use IPFS together with Nix/OS
  ☆17Updated 8 years ago
• mcclure / emily
  Git mirror of https://bitbucket.org/runhello/emily
  ☆60Updated 5 years ago
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 6 years ago
• zepto-lang / zepto
  A schemy Lisp backed by Haskell
  ☆60Updated 6 years ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆53Updated 2 years ago
• np / ling
  LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
  ☆107Updated 2 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆33Updated 5 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 6 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆52Updated 6 years ago
• noether-lang / noether
  Noether programming language
  ☆127Updated 8 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 6 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆33Updated 10 years ago
• haskell-cryptography / cacophony
  A Haskell library implementing the Noise protocol.
  ☆100Updated 7 months ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 9 years ago
• ollef / braces-be-gone
  Get those pesky braces out of your face
  ☆49Updated 7 years ago
• pushcx / shenzhen
  Solver for Shenzen Solitaire
  ☆15Updated 7 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 10 years ago
• NixOS / security
  ☆29Updated 8 years ago
• jozefg / graph-models
  Notes on P-omega
  ☆14Updated 8 years ago
• alehander92 / hatlog
  custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
  ☆24Updated 9 years ago
• jamesbvaughan / httppl
  A simple http server written in Prolog
  ☆30Updated 8 years ago