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 this week
- A Mercury CSV library.☆13Updated 3 months ago
- Plasma Programming Language☆166Updated 6 months ago
- ATS2: Unleashing the Potentials of Types and Templates☆374Updated 5 months ago
- Lua implemented in Mercury☆15Updated last year
- The LLVM LHC Haskell Optimization System☆202Updated 5 years ago
- ☆138Updated 4 years ago
- The People's Refinement Logic☆228Updated 2 years ago
- Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)☆132Updated 8 years ago
- c2hs is a pre-processor for Haskell FFI bindings to C libraries☆209Updated last year
- Quick C-- compiler (no longer maintained)☆163Updated 11 years ago
- The Makam Metalanguage☆200Updated 2 years ago
- Bootstrapping ATS3☆231Updated this week
- Malfunctional Programming☆350Updated 11 months ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆157Updated last year
- A ML-family Language Compiled to Lua☆148Updated 3 weeks ago
- Frag is a 3D first person shooting game written in Haskell, by Mun Hon Cheong☆142Updated 5 years ago
- The Disco Discus Compiler☆174Updated 6 years ago
- An interpreter of Hagino's Categorical Programming Language (CPL).☆123Updated last week
- An ML-like functional programming language☆340Updated 4 years ago
- Source repository for https://hackage.haskell.org/package/language-c☆92Updated 2 months ago
- Charity language interpreters and literature☆114Updated 6 years ago
- Higher Order Prolog with Extensional Semantics☆53Updated 5 years ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆204Updated last year
- The Twelf Programming Language☆145Updated 2 weeks ago
- Haskell bindings to Lua, an embeddable scripting language.☆136Updated last month
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆374Updated 2 years ago
- Generate Haskell code from a type☆144Updated 8 months ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆163Updated 6 years ago
- LambdaCube 3D is a Haskell-like purely functional language for GPU. Try it out:☆87Updated 2 years ago