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 2 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
• schani / unlambdascheme
  A Scheme to Unlambda compiler
  ☆18Updated 7 years ago
• exercism / coq
  Exercism exercises in Coq.
  ☆18Updated 6 months ago
• GavinMendelGleason / mavis
  Optional types for Prolog
  ☆16Updated 5 years ago
• fnogatz / tap
  Write TAP tests with SWI-Prolog
  ☆12Updated 2 years ago
• guitarvydas / wam
  A WAM (Warren Abstract Machine for Prolog) written in Common Lisp
  ☆13Updated 6 years ago
• mboes / hmk
  A pure Haskell implementation of Plan9's mk
  ☆16Updated 9 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆43Updated 5 months ago
• mndrix / mavis
  Optional types for Prolog
  ☆11Updated 6 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 3 years ago
• norm2782 / NanoProlog
  ☆17Updated 2 years ago
• SWI-PrologTeamLudumDare32 / LudumDare
  Our Ludum Dare entry
  ☆20Updated 8 years ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 8 years ago
• logic-tools / nadea
  NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
  ☆16Updated 2 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 11 years ago
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Updated 8 years ago
• GaloisInc / json
  Haskell JSON library
  ☆27Updated 6 months ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆22Updated last week
• mndrix / list_util
  Prolog list utility predicates
  ☆11Updated 6 years ago
• mndrix / jolog
  Concurrent and distributed Prolog via join patterns (join calculus)
  ☆12Updated 10 years ago
• logicmoo / logicmoo_workspace
  https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
  ☆44Updated last year
• samer-- / prolog
  Prolog stuff
  ☆28Updated 5 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆14Updated 10 years ago
• edwinb / SDL-idris
  SDL bindings package for idris
  ☆46Updated 5 years ago
• liamoc / wizards
  High level, generic library for interrogative user interfaces in Haskell
  ☆41Updated 3 years ago
• triska / letswicrypt
  Prolog HTTPS Servers
  ☆37Updated 7 years ago
• wxHaskell / wxHaskell
  MOVED TO https://codeberg.org/wxHaskell/wxHaskell
  ☆80Updated 11 months ago