Alternatives and similar repositories for httppl:

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

• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆46Updated 7 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• zepto-lang / zepto
  A schemy Lisp backed by Haskell
  ☆60Updated 6 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 9 years ago
• j4cbo / stilts
  SML On Stilts
  ☆37Updated 11 years ago
• feeley / etos
  Erlang to Scheme compiler
  ☆36Updated 13 years ago
• etnt / Haskerl
  Haskell subset compiled to the Beam machine.
  ☆42Updated 10 years ago
• avsm / ocaml-annot
  OCaml annot updated to work with latest 3.10+ annot file format (with Call/Ident info)
  ☆37Updated 6 years ago
• bos / bloomfilter
  A fast Haskell Bloom filter library.
  ☆60Updated 2 years ago
• antonlogvinenko / javelin
  JVM implementation in Haskell
  ☆44Updated 7 months ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 10 years ago
• idris-hackers / iQuery
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Updated 7 years ago
• yi-editor / yi-rope
  Rope data structure used by Yi
  ☆20Updated 6 years ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆33Updated 10 years ago
• haskell-hvr / rss
  A library for generating RSS 2.0 feeds.
  ☆18Updated 10 months ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 10 years ago
• cruxlang / crux
  Crux Programming Language
  ☆52Updated 2 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆33Updated 5 years ago
• ollef / braces-be-gone
  Get those pesky braces out of your face
  ☆49Updated 7 years ago
• patrickt / blimp
  an example airship app
  ☆14Updated 8 years ago
• burz / Feval
  evaluation using f-algebras
  ☆23Updated 9 years ago
• vindaloo-thesis / examples
  Code samples inspiring language design
  ☆24Updated 9 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• mbrock / HBEAM
  Prototypical Haskell virtual machine for Erlang's BEAM bytecode
  ☆27Updated 13 years ago
• andyfinnell / kalerl
  An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.
  ☆12Updated 9 years ago
• fractalide / nixcrates
  DEPRECATED reads rust-lang/crates.io-index and outputs nix expressions into fractalide/nix-crates-index
  ☆15Updated 8 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 9 years ago
• ocamllabs / ocaml-effects
  *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
  ☆27Updated 9 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• tonyg / marketplace
  Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014
  ☆73Updated 3 years ago