Alternatives and similar repositories for mercury-csv

Users that are interested in mercury-csv are comparing it to the libraries listed below

• juliensf / mercury-json
  A Mercury JSON library.
  ☆21Updated 3 months ago
• C4Cypher / Apollo-lander
  Lua implemented in Mercury
  ☆15Updated last year
• stewy33 / merchant
  A package manager for the Mercury logic programming language.
  ☆18Updated 5 years ago
• GavinMendelGleason / mavis
  Optional types for Prolog
  ☆16Updated 5 years ago
• tangentstorm / mandelbrowse
  A visual Mandelbrot set explorer written in J
  ☆11Updated 4 years ago
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Updated 8 years ago
• SWI-Prolog / packages-plunit
  The SWI-Prolog Unit Testing library
  ☆9Updated last month
• schani / unlambdascheme
  A Scheme to Unlambda compiler
  ☆18Updated 7 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 3 years ago
• logic-tools / nadea
  NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
  ☆16Updated 2 years ago
• fnogatz / tap
  Write TAP tests with SWI-Prolog
  ☆12Updated 2 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆19Updated 5 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆43Updated 5 months ago
• mndrix / list_util
  Prolog list utility predicates
  ☆11Updated 6 years ago
• exercism / coq
  Exercism exercises in Coq.
  ☆18Updated 7 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• JUrban / MPTP2
  ☆19Updated 8 years ago
• akr / codegen
  Coq plugin for monomorphization and C code generation
  ☆34Updated last week
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 2 years ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆22Updated 3 weeks ago
• aprolog-lang / aprolog
  αProlog
  ☆17Updated last year
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated last year
• SMLFamily / The-Mechanization-of-Standard-ML
  The Mechanization of Standard ML
  ☆73Updated 2 years ago
• standardml / parcom
  SML Parser Combinator Library
  ☆28Updated 9 years ago
• urweb / upo
  The Ur/Web People Organizer
  ☆30Updated last year
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆48Updated 4 years ago
• guitarvydas / wam
  A WAM (Warren Abstract Machine for Prolog) written in Common Lisp
  ☆13Updated 6 years ago
• mattpolzin / idv
  Idris Version Manager
  ☆16Updated 3 months ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆33Updated 5 years ago