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 weeks ago
- A Mercury CSV library.☆13Updated last month
- Lua implemented in Mercury☆15Updated last year
- ATS2: Unleashing the Potentials of Types and Templates☆372Updated 3 months ago
- Plasma Programming Language☆166Updated 5 months ago
- The LLVM LHC Haskell Optimization System☆202Updated 5 years ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆201Updated last year
- ☆138Updated 4 years ago
- Source repository for https://hackage.haskell.org/package/language-c☆91Updated 3 weeks ago
- Frag is a 3D first person shooting game written in Haskell, by Mun Hon Cheong☆141Updated 5 years ago
- adds an optional type system to J language☆21Updated 9 years ago
- SDL bindings package for idris☆47Updated 5 years ago
- A ML-family Language Compiled to Lua☆147Updated last week
- Smackage Package Manager for Standard ML☆123Updated 3 years ago
- Quick C-- compiler (no longer maintained)☆160Updated 11 years ago
- The People's Refinement Logic☆228Updated 2 years ago
- Charity language interpreters and literature☆114Updated 6 years ago
- Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)☆133Updated 8 years ago
- The Definition of Standard ML, Revised (1997)☆115Updated 8 years ago
- Poly/ML☆507Updated this week
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆157Updated last year
- Repository and Wiki for enriching the Standard ML Basis Library☆64Updated 3 years ago
- The Disco Discus Compiler☆174Updated 6 years ago
- An ML-like functional programming language☆337Updated 3 years ago
- A small 2D game framework in Haskell, for Haskell☆26Updated 8 years ago
- Generate Haskell code from a type☆141Updated 7 months ago
- The Ivory EDSL☆402Updated 5 years ago
- Library and Toolkit for Standard ML☆145Updated 2 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆163Updated 6 years ago
- The Makam Metalanguage☆199Updated 2 years ago