Alternatives and similar repositories for fp

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

• UU-ComputerScience / uhc
  ☆138Updated 4 years ago
• ajhc / ajhc
  A fork of jhc. And also a Haskell compiler.
  ☆134Updated 6 years ago
• phadej / write-yourself-a-typed-functional-language
  Write yourself a typed functional language
  ☆65Updated 7 years ago
• aherrmann / simply_llvm
  ☆41Updated 8 years ago
• seliopou / typo
  A programming language that runs in Haskell's type system.
  ☆256Updated 9 years ago
• david-christiansen / idris-type-providers
  Type provider library for Idris
  ☆95Updated 7 years ago
• discus-lang / ddc
  The Disco Discus Compiler
  ☆174Updated 6 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 3 years ago
• ptol / oczor
  Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp
  ☆120Updated 8 years ago
• osa1 / language-lua
  Lua parser and pretty-printer
  ☆51Updated 9 years ago
• antonlogvinenko / javelin
  JVM implementation in Haskell
  ☆44Updated last year
• idris-hackers / IdrisScript
  FFI Bindings to interact with the unsafe world of JavaScript
  ☆94Updated 7 years ago
• quietfanatic / neskell
  NES programming in Haskell? No way!
  ☆39Updated 9 years ago
• aisamanra / s-cargot
  Elaborate and expressive S-Expression library for Haskell
  ☆63Updated last year
• haskell / pretty
  Haskell Pretty-printer library
  ☆75Updated 3 months ago
• augustss / djinn
  Generate Haskell code from a type
  ☆144Updated 8 months ago
• ermine-language / ermine
  The Ermine Programming Language - Join us on irc.freenode.net #ermine
  ☆223Updated 7 years ago
• jvranish / MiniKanrenT
  An implementation of miniKanren in Haskell
  ☆78Updated 12 years ago
• swr1bm86 / Ntha
  The Ntha Programming Language
  ☆91Updated 8 years ago
• mmirman / ImperativeHaskell
  Proof that Haskell can look and act like an imperative language.
  ☆74Updated 13 years ago
• puffnfresh / iridium
  xmonad with the X11 abstracted and configured with Idris
  ☆209Updated 6 years ago
• ats-lang / ATS-CodeBook
  This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…
  ☆62Updated 4 years ago
• bamboo / IdrisUnityPlayground
  Experiments in Idris / Unity integration.
  ☆49Updated 9 years ago
• purescript-node / purescript-node-http
  A wrapper for Node's HTTP APIs
  ☆40Updated 2 years ago
• jstolarek / why-dependent-types-matter
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Updated 7 years ago
• lexi-lambda / higher-rank
  A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
  ☆101Updated 8 years ago
• ndmitchell / uniplate
  Haskell library for simple, concise and fast generic operations.
  ☆82Updated 2 years ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 11 years ago
• UnkindPartition / ansi-terminal
  ANSI terminal support for Haskell, with Windows compatibility
  ☆115Updated last month