Alternatives and similar repositories for Pure

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

• ajhc / ajhc
  A fork of jhc. And also a Haskell compiler.
  ☆134Updated 6 years ago
• keean / Parser-Combinators
  C++ parser combinator library
  ☆97Updated 10 years ago
• ndmitchell / build-shootout
  Comparison of build program expressive power
  ☆87Updated 6 years ago
• GJDuck / libf
  C++ as a Pure Functional Programming Language
  ☆188Updated 6 years ago
• gergoerdi / metafun
  Compile Haskell-like code into C++ template metaprograms
  ☆65Updated 9 years ago
• jaredhoberock / hindley_milner
  A C++11 implementation of Hindley-Milner type inference.
  ☆79Updated 12 years ago
• akabe / evilml
  A compiler from ML to C++ template language
  ☆157Updated 10 years ago
• keera-studios / hsQt
  Qt bindings for Haskell
  ☆34Updated 8 years ago
• grogers0 / CppQuickCheck
  QuickCheck-like property based automated testing tool for C++
  ☆111Updated 8 years ago
• osa1 / language-lua
  Lua parser and pretty-printer
  ☆51Updated 9 years ago
• bscarlet / llvm-general
  Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)
  ☆132Updated 8 years ago
• awgn / cat
  C++20 functional library
  ☆297Updated 2 years ago
• cofinalsubnets / wisp
  small-but-featureful embeddable lisp interpreter written in haskell.
  ☆115Updated 12 years ago
• BartoszMilewski / MoreMoney
  Constraing solving using functional methods in C++ and Haskell.
  ☆21Updated 10 years ago
• sajith / cs-papers
  Ye Olde Computer Science Scrolls!
  ☆105Updated 9 years ago
• coq-ext-lib / coq-compile
  A compiler for Coq
  ☆26Updated 12 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 10 years ago
• KrishnaAchuthan / curry
  Support for Currying and Function Composition in C++
  ☆61Updated 10 years ago
• jekor / redo
  djb's redo implementation in Haskell (for Haskell from Scratch video series)
  ☆147Updated 7 years ago
• yallop / popl2015-papers
  Accepted papers for POPL 2015
  ☆66Updated 9 years ago
• kirkshoop / transducer
  transducers in C++ 14
  ☆40Updated 11 years ago
• mikeizbicki / HerbiePlugin
  GHC plugin that improves Haskell code's numerical stability
  ☆194Updated 10 years ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆97Updated 10 years ago
• SFML-haskell / SFML
  Low level Haskell bindings for SFML 2.x
  ☆45Updated last month
• thejohnfreeman / autocheck
  Header-only C++17 library for property-based testing.
  ☆127Updated last year
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆32Updated 12 years ago
• jgm / highlighting-kate
  A syntax highlighting library in Haskell, based on Kate syntax definitions
  ☆110Updated 8 years ago
• rrnewton / Essentials-of-Compilation
  A book about compiling Racket to x86-64 assembly
  ☆21Updated 8 years ago
• logicchains / LPATHBench
  Benchmarks of the longest path problem in various languages
  ☆155Updated 6 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 9 years ago