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
  ☆47Updated 7 years ago
• laserpants / hashids-haskell
  Haskell port of the Hashids library.
  ☆24Updated last year
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• etnt / Haskerl
  Haskell subset compiled to the Beam machine.
  ☆42Updated 10 years ago
• feeley / etos
  Erlang to Scheme compiler
  ☆38Updated 13 years ago
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆87Updated 7 years ago
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 5 years ago
• zepto-lang / zepto
  A schemy Lisp backed by Haskell
  ☆60Updated 6 years ago
• cstrahan / wiwinwln
  What I Wish I Knew While Learning Nix
  ☆34Updated 3 years ago
• chrisdone-archive / haskell-style-guide
  ☆94Updated 8 years ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆33Updated 10 years ago
• NicolasT / kontiki
  An implementation of the Raft consensus protocol
  ☆121Updated 2 years ago
• bos / bloomfilter
  A fast Haskell Bloom filter library.
  ☆60Updated 2 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 9 years ago
• bmsherman / blog
  ☆41Updated 10 years ago
• jasonhemann / microKanren-shen
  An implementation of microKanren in Shen
  ☆10Updated 10 years ago
• jozefg / hm
  A small implementation of type inference
  ☆78Updated 10 years ago
• burz / Feval
  evaluation using f-algebras
  ☆23Updated 9 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• andyfinnell / kalerl
  An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.
  ☆12Updated 9 years ago
• mietek / totally-fp
  Totally functional programming literature
  ☆60Updated 6 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 10 years ago
• ocamllabs / ocaml-effects
  *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
  ☆27Updated 9 years ago
• patrickt / blimp
  an example airship app
  ☆14Updated 8 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 3 years ago