Alternatives and similar repositories for fp

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

• 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
• aherrmann / simply_llvm
  ☆41Updated 8 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago
• ajhc / ajhc
  A fork of jhc. And also a Haskell compiler.
  ☆135Updated 6 years ago
• discus-lang / ddc
  The Disco Discus Compiler
  ☆174Updated 6 years ago
• aisamanra / s-cargot
  Elaborate and expressive S-Expression library for Haskell
  ☆63Updated last year
• UnkindPartition / ansi-terminal
  ANSI terminal support for Haskell, with Windows compatibility
  ☆114Updated 3 weeks ago
• UU-ComputerScience / uhc
  ☆138Updated 4 years ago
• augustss / djinn
  Generate Haskell code from a type
  ☆142Updated 7 months ago
• phadej / write-yourself-a-typed-functional-language
  Write yourself a typed functional language
  ☆65Updated 7 years ago
• ptol / oczor
  Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp
  ☆120Updated 7 years ago
• seliopou / typo
  A programming language that runs in Haskell's type system.
  ☆256Updated 9 years ago
• skogsbaer / hscurses
  ncurses binding for Haskell
  ☆62Updated 2 months ago
• bamboo / IdrisUnityPlayground
  Experiments in Idris / Unity integration.
  ☆49Updated 9 years ago
• idris-lang / idris-emptycg
  An empty code generator, to be used as a starting point for any new back ends.
  ☆51Updated 7 years ago
• david-christiansen / idris-type-providers
  Type provider library for Idris
  ☆94Updated 7 years ago
• idris-hackers / IdrisWeb
  A secure web framework, built in the Idris language.
  ☆110Updated 11 years ago
• andrevdm / SimpleHaskellStackVM
  Simple demonstration stack based virtual machine written in Haskell
  ☆42Updated 9 years ago
• lexi-lambda / higher-rank
  A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
  ☆101Updated 8 years ago
• dmbaturin / hope
  Hope programming language interpreter
  ☆41Updated 4 months ago
• mietek / charity-lang
  Charity language interpreters and literature
  ☆114Updated 6 years ago
• mrkkrp / parser-combinators
  Lightweight package providing commonly useful parser combinators
  ☆54Updated 2 weeks ago
• pheymann / specdris
  A test framework for Idris
  ☆55Updated 6 years ago
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆123Updated 6 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆38Updated 10 years ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆58Updated 2 weeks ago
• idris-hackers / IdrisScript
  FFI Bindings to interact with the unsafe world of JavaScript
  ☆94Updated 7 years ago
• visq / language-c
  Source repository for https://hackage.haskell.org/package/language-c
  ☆91Updated last month
• jmoy / alexhappy
  Examples for the book “Alex and Happy”
  ☆34Updated 10 years ago
• pnwamk / stop2015-redex
  PLT Redex model of basic Dependently Typed Racket calculus
  ☆18Updated 10 years ago