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 last month
- A Mercury CSV library.☆13Updated 2 months ago
- ATS2: Unleashing the Potentials of Types and Templates☆373Updated 4 months ago
- Lua implemented in Mercury☆15Updated last year
- Plasma Programming Language☆166Updated 5 months ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆203Updated last year
- The LLVM LHC Haskell Optimization System☆202Updated 5 years ago
- Smackage Package Manager for Standard ML☆124Updated 3 years ago
- Bootstrapping ATS3☆230Updated this week
- adds an optional type system to J language☆21Updated 9 years ago
- ☆138Updated 4 years ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆157Updated last year
- Poly/ML☆507Updated this week
- A proof assistant for general type theories☆308Updated 2 months ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆219Updated 2 years ago
- c2hs is a pre-processor for Haskell FFI bindings to C libraries☆209Updated last year
- The Makam Metalanguage☆199Updated 2 years ago
- LambdaCube 3D is a Haskell-like purely functional language for GPU. Try it out:☆87Updated 2 years ago
- Quick C-- compiler (no longer maintained)☆162Updated 11 years ago
- Frag is a 3D first person shooting game written in Haskell, by Mun Hon Cheong☆143Updated 5 years ago
- A small 2D game framework in Haskell, for Haskell☆26Updated 8 years ago
- SDL bindings package for idris☆47Updated 5 years ago
- Malfunctional Programming☆350Updated 11 months ago
- An ML-like functional programming language☆337Updated 4 years ago
- The People's Refinement Logic☆228Updated 2 years ago
- A ML-family Language Compiled to Lua☆147Updated this week
- Standard ML Compiler and Toolkit☆293Updated last month
- Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.☆355Updated last year
- The Twelf Programming Language☆145Updated last week
- Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)☆133Updated 8 years ago