juliensf / mercury-csvLinks
A Mercury CSV library.
☆13Updated 2 months ago
Alternatives and similar repositories for mercury-csv
Users that are interested in mercury-csv are comparing it to the libraries listed below
Sorting:
- A Mercury JSON library.☆21Updated last month
- Lua implemented in Mercury☆15Updated last year
- A package manager for the Mercury logic programming language.☆18Updated 5 years ago
- adds an optional type system to J language☆21Updated 9 years ago
- NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆16Updated 2 years ago
- Fast, simplified WAM-based Prolog system☆24Updated 5 months ago
- Boolean Constraint Solving in Prolog☆48Updated 10 months ago
- Community contributions to the Grammatical Framework☆61Updated last year
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- The SWI-Prolog HTTP server and client libraries☆26Updated last week
- Prolog HTTPS Servers☆39Updated 7 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- Higher Order Prolog with Extensional Semantics☆53Updated 5 years ago
- Web Framework for SWI-Prolog☆43Updated 9 years ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆157Updated last year
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Updated 5 months ago
- SWI-Prolog dynamic C interface☆17Updated last year
- Consolidated J language code referenced in my blog Analyze the Data not the Drivel☆39Updated last week
- A Scheme to Unlambda compiler☆18Updated 8 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 14 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆34Updated 5 years ago
- A collection of Prolog libraries.☆88Updated last year
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆30Updated 7 years ago
- Prolog stuff☆27Updated 6 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆64Updated 3 years ago
- Poplog☆21Updated 14 years ago
- SML Parser Combinator Library☆28Updated 9 years ago
- A new logic programming language.☆175Updated 2 years ago
- ☆35Updated 9 months ago
- a syntax directed editor☆17Updated last year