Alternatives and similar repositories for merchant:

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

• juliensf / mercury-json
  A Mercury JSON library.
  ☆20Updated last week
• juliensf / mercury-csv
  A Mercury CSV library.
  ☆11Updated last year
• C4Cypher / Apollo-lander
  Lua implemented in Mercury
  ☆14Updated 11 months ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆164Updated 2 weeks ago
• visq / language-c
  Source repository for https://hackage.haskell.org/package/language-c
  ☆87Updated 3 months ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 9 years ago
• standardml / twelf
  The Twelf Programming Language
  ☆118Updated 2 weeks ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆84Updated 3 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆32Updated 4 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆114Updated 7 years ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 4 years ago
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆20Updated 10 years ago
• edwinb / SDL-idris
  SDL bindings package for idris
  ☆46Updated 4 years ago
• wilbowma / cur
  A less devious proof assistant
  ☆222Updated 2 years ago
• Co-dfns / apixlib
  An Image Dictionary for Co-dfns
  ☆14Updated 7 years ago
• UU-ComputerScience / uhc
  ☆137Updated 3 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆48Updated 4 years ago
• lemmih / lhc
  The LLVM LHC Haskell Optimization System
  ☆199Updated 4 years ago
• TieDyedDevil / XS
  [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.
  ☆51Updated 3 years ago
• SMLFamily / BasisLibrary
  Repository and Wiki for enriching the Standard ML Basis Library
  ☆61Updated 3 years ago
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆42Updated 5 years ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆68Updated 11 years ago
• kmcallister / qoppa
  Metacircular evaluator for a tiny fexpr language
  ☆44Updated 12 years ago
• tangentstorm / syndir
  a syntax directed editor
  ☆17Updated 10 months ago
• nfomon / shok
  shok command shell
  ☆144Updated 9 years ago
• mthom / shentong
  A Haskell implementation of the Shen programming language.
  ☆166Updated 6 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 7 years ago
• exercism / coq
  Exercism exercises in Coq.
  ☆18Updated 3 months ago
• RedPRL / sml-redprl
  The People's Refinement Logic
  ☆229Updated 2 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆36Updated 9 years ago