juliensf / mercury-csv
A Mercury CSV library.
☆12Updated 2 weeks ago
Alternatives and similar repositories for mercury-csv:
Users that are interested in mercury-csv are comparing it to the libraries listed below
- A Mercury JSON library.☆21Updated 3 weeks ago
- Lua implemented in Mercury☆14Updated last year
- A package manager for the Mercury logic programming language.☆18Updated 5 years ago
- Haskell JSON library☆27Updated 4 months ago
- Boolean Constraint Solving in Prolog☆40Updated 3 months ago
- Exercism exercises in Coq.☆18Updated 4 months ago
- Optional types for Prolog☆16Updated 5 years ago
- The Alms Programming Language☆44Updated 6 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 3 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- Jhc: Haskell Compiler☆36Updated 9 years ago
- Write TAP tests with SWI-Prolog☆12Updated 2 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- A Scheme to Unlambda compiler☆18Updated 7 years ago
- a simple vi clone written in Haskell☆28Updated 15 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Updated 9 years ago
- Lua backend for Idris 2☆27Updated 2 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 9 months ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Updated 8 years ago
- adds an optional type system to J language☆21Updated 9 years ago
- SDL bindings package for idris☆46Updated 5 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆29Updated last week
- SML Parser Combinator Library☆27Updated 8 years ago
- Prolog list utility predicates☆11Updated 6 years ago
- NanoVG Haskell bindings☆22Updated last year
- Backtracking monad in Haskell☆14Updated 3 years ago
- A prolog interpreter written in Haskell.☆62Updated 9 years ago
- Fast, simplified WAM-based Prolog system☆21Updated 2 years ago