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 2 months ago
- Plasma Programming Language☆167Updated 8 months ago
- ATS2: Unleashing the Potentials of Types and Templates☆381Updated 6 months ago
- A Mercury CSV library.☆13Updated 2 weeks ago
- ☆138Updated 4 years ago
- Lua implemented in Mercury☆15Updated last year
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆206Updated last year
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆160Updated last year
- The Makam Metalanguage☆198Updated 2 years ago
- Higher Order Prolog with Extensional Semantics☆53Updated 5 years ago
- Smackage Package Manager for Standard ML☆124Updated 3 years ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆221Updated 3 years ago
- The Definition of Standard ML, Revised (1997)☆117Updated 8 years ago
- adds an optional type system to J language☆21Updated 9 years ago
- Quick C-- compiler (no longer maintained)☆163Updated 11 years ago
- Generic package manager for Standard ML libraries and programs☆170Updated 3 weeks ago
- ATS2: Unleashing the Potentials of Types and Templates☆46Updated 6 years ago
- The People's Refinement Logic☆229Updated 3 years ago
- Bootstrapping ATS3☆239Updated this week
- Frag is a 3D first person shooting game written in Haskell, by Mun Hon Cheong☆146Updated 5 years ago
- The LLVM LHC Haskell Optimization System☆202Updated 5 years ago
- High-end Cryptographic Library☆44Updated 6 years ago
- A ML-family Language Compiled to Lua☆149Updated 2 months ago
- The Disco Discus Compiler☆176Updated 6 years ago
- Source repository for https://hackage.haskell.org/package/language-c☆95Updated last month
- A less devious proof assistant☆226Updated 2 years ago
- SML reference interpreter☆121Updated 2 months ago
- Standard ML Compiler and Toolkit☆296Updated 3 weeks ago
- The functional Haskell kernel☆141Updated 9 years ago
- ☆89Updated 3 years ago