stewy33 / merchant
A package manager for the Mercury logic programming language.
☆18Updated 5 years ago
Alternatives and similar repositories for merchant:
Users that are interested in merchant are comparing it to the libraries listed below
- A Mercury JSON library.☆21Updated last month
- A Mercury CSV library.☆12Updated last month
- Lua implemented in Mercury☆14Updated last year
- Plasma Programming Language☆166Updated 2 months ago
- Source repository for https://hackage.haskell.org/package/language-c☆87Updated last month
- Higher Order Prolog with Extensional Semantics☆53Updated 4 years ago
- Charity language interpreters and literature☆114Updated 6 years ago
- higher order dependently typed logic programing☆170Updated 6 years ago
- Smackage Package Manager for Standard ML☆123Updated 2 years ago
- ☆137Updated 3 years ago
- SML Parser Combinator Library☆28Updated 8 years ago
- Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)☆132Updated 8 years ago
- The Twelf Programming Language☆122Updated 2 months ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆155Updated 11 months ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆48Updated 4 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆61Updated 3 years ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆198Updated 8 months ago
- A less devious proof assistant☆224Updated 2 years ago
- The People's Refinement Logic☆229Updated 2 years ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆214Updated 2 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆59Updated 4 years ago
- Jhc: Haskell Compiler☆36Updated 9 years ago
- Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…☆50Updated 5 months ago
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 5 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆42Updated 5 years ago
- An interpreter of Hagino's Categorical Programming Language (CPL).☆119Updated 10 months ago
- The Definition of Standard ML, Revised (1997)☆114Updated 7 years ago
- The Disco Discus Compiler☆174Updated 6 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- ☆59Updated 5 years ago