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 weeks ago
- ATS2: Unleashing the Potentials of Types and Templates☆376Updated 6 months ago
- Lua implemented in Mercury☆15Updated last year
- Plasma Programming Language☆167Updated 7 months ago
- The LLVM LHC Haskell Optimization System☆202Updated 5 years ago
- adds an optional type system to J language☆21Updated 9 years ago
- Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.☆359Updated last year
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆206Updated last year
- c2hs is a pre-processor for Haskell FFI bindings to C libraries☆210Updated last year
- Bootstrapping ATS3☆236Updated this week
- Frag is a 3D first person shooting game written in Haskell, by Mun Hon Cheong☆145Updated 5 years ago
- Malfunctional Programming☆350Updated last year
- Poly/ML☆516Updated last week
- Source repository for https://hackage.haskell.org/package/language-c☆94Updated 2 weeks ago
- Quick C-- compiler (no longer maintained)☆163Updated 11 years ago
- SDL bindings package for idris☆47Updated 5 years ago
- The Ivory EDSL☆405Updated 5 years ago
- FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA …☆449Updated 4 months ago
- The Twelf Programming Language☆147Updated this week
- Smackage Package Manager for Standard ML☆124Updated 3 years ago
- The Definition of Standard ML, Revised (1997)☆117Updated 8 years ago
- The People's Refinement Logic☆228Updated 2 years ago
- ☆138Updated 4 years ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆374Updated 2 years ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆158Updated last year
- Charity language interpreters and literature☆114Updated 6 years ago
- Standard ML Compiler and Toolkit☆293Updated this week
- The functional Haskell kernel☆141Updated 9 years ago
- The Disco Discus Compiler☆176Updated 6 years ago