stewy33 / merchantLinks
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
Sorting:
- A Mercury JSON library.☆21Updated 3 months ago
- A Mercury CSV library.☆13Updated 3 months ago
- Plasma Programming Language☆166Updated 2 months ago
- Lua implemented in Mercury☆15Updated last year
- Repository and Wiki for enriching the Standard ML Basis Library☆62Updated 3 years ago
- SML Parser Combinator Library☆28Updated 9 years ago
- Source repository for https://hackage.haskell.org/package/language-c☆87Updated 3 months ago
- Smackage Package Manager for Standard ML☆122Updated 3 years ago
- ☆137Updated 3 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆48Updated 4 years ago
- A port of sweet expressions to Racket☆48Updated 2 years ago
- The Mechanization of Standard ML☆73Updated 2 years ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆217Updated 2 years ago
- Canonical miniKanren implementation in Racket☆86Updated 3 years ago
- higher order dependently typed logic programing☆173Updated 6 years ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆155Updated last year
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆61Updated 4 years ago
- Higher Order Prolog with Extensional Semantics☆53Updated 4 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆33Updated 5 years ago
- For parts of https://www.ats-lang.org☆27Updated last month
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆21Updated 10 years ago
- The LLVM LHC Haskell Optimization System☆200Updated 5 years ago
- The Definition of Standard ML, Revised (1997)☆115Updated 8 years ago
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 3 years ago
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- αProlog☆18Updated last year
- (ARCHIVE) Raku User's Golfing System in Haskell☆85Updated 4 years ago
- The Twelf Programming Language☆136Updated 4 months ago
- Racket port of the nanopass-framework☆34Updated 4 years ago
- An Image Dictionary for Co-dfns☆14Updated 8 years ago