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.
  ☆21Updated 3 months ago
• juliensf / mercury-csv
  A Mercury CSV library.
  ☆12Updated 2 months ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆166Updated last month
• C4Cypher / Apollo-lander
  Lua implemented in Mercury
  ☆15Updated last year
• visq / language-c
  Source repository for https://hackage.haskell.org/package/language-c
  ☆87Updated 3 months ago
• standardml / smackage
  Smackage Package Manager for Standard ML
  ☆122Updated 2 years ago
• SMLFamily / BasisLibrary
  Repository and Wiki for enriching the Standard ML Basis Library
  ☆62Updated 3 years ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 4 years ago
• schani / unlambdascheme
  A Scheme to Unlambda compiler
  ☆18Updated 7 years ago
• SMLFamily / Successor-ML
  A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
  ☆200Updated 9 months ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆48Updated 4 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆114Updated 8 years ago
• mthom / shentong
  A Haskell implementation of the Shen programming language.
  ☆168Updated 7 years ago
• UU-ComputerScience / uhc
  ☆137Updated 3 years ago
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆21Updated 10 years ago
• urweb / upo
  The Ur/Web People Organizer
  ☆30Updated last year
• 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
• wilbowma / cur
  A less devious proof assistant
  ☆224Updated 2 years ago
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆122Updated 6 years ago
• edwinb / SDL-idris
  SDL bindings package for idris
  ☆46Updated 5 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆48Updated 4 years ago
• perl6 / Pugs.hs
  (ARCHIVE) Raku User's Golfing System in Haskell
  ☆85Updated 4 years ago
• exercism / coq
  Exercism exercises in Coq.
  ☆18Updated 7 months ago
• wxHaskell / wxHaskell
  MOVED TO https://codeberg.org/wxHaskell/wxHaskell
  ☆80Updated last year
• tangentstorm / mandelbrowse
  A visual Mandelbrot set explorer written in J
  ☆11Updated 4 years ago
• RedPRL / sml-redprl
  The People's Refinement Logic
  ☆229Updated 2 years ago
• ats-lang / ats-lang.github.io
  For parts of https://www.ats-lang.org
  ☆27Updated 3 weeks ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆85Updated 3 years ago
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆43Updated 5 years ago
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago