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 2 months ago
• juliensf / mercury-csv
  A Mercury CSV library.
  ☆12Updated 2 months ago
• C4Cypher / Apollo-lander
  Lua implemented in Mercury
  ☆15Updated last year
• PlasmaLang / plasma
  Plasma Programming Language
  ☆166Updated 2 weeks ago
• schani / unlambdascheme
  A Scheme to Unlambda compiler
  ☆18Updated 7 years ago
• standardml / parcom
  SML Parser Combinator Library
  ☆28Updated 9 years ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆155Updated last year
• visq / language-c
  Source repository for https://hackage.haskell.org/package/language-c
  ☆87Updated 2 months ago
• mmirman / caledon
  higher order dependently typed logic programing
  ☆171Updated 6 years ago
• UU-ComputerScience / uhc
  ☆137Updated 3 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
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago
• lemmih / lhc
  The LLVM LHC Haskell Optimization System
  ☆200Updated 5 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆48Updated 4 years ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆40Updated 11 months ago
• exercism / coq
  Exercism exercises in Coq.
  ☆18Updated 6 months ago
• Co-dfns / apixlib
  An Image Dictionary for Co-dfns
  ☆14Updated 7 years ago
• brownplt / lambda-py
  ☆58Updated 11 years ago
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆42Updated 5 years ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 4 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 2 months ago
• VictorTaelin / Cedille-Core
  A minimal proof language.
  ☆205Updated 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…
  ☆59Updated 4 years ago
• edwinb / SDL-idris
  SDL bindings package for idris
  ☆46Updated 5 years ago
• wxHaskell / wxHaskell
  MOVED TO https://codeberg.org/wxHaskell/wxHaskell
  ☆80Updated 11 months ago
• tweag / linear-types
  Drafts, notes and resources for adding linear typing to GHC.
  ☆77Updated 4 years ago
• RedPRL / sml-redprl
  The People's Refinement Logic
  ☆229Updated 2 years ago
• wilbowma / cur
  A less devious proof assistant
  ☆224Updated 2 years ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆74Updated 5 years ago