juliensf / mercury-json

Related projects ⓘ

Alternatives and complementary repositories for mercury-json

• juliensf / mercury-csv
  A Mercury CSV library.
  ☆11Updated 9 months ago
• stewy33 / merchant
  A package manager for the Mercury logic programming language.
  ☆17Updated 4 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆32Updated 4 years ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆47Updated 4 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago
• standardml / parcom
  SML Parser Combinator Library
  ☆27Updated 8 years ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 8 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆37Updated last year
• eatonphil / bsdscheme
  A Scheme (R7RS) implementation written in D
  ☆59Updated 6 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆24Updated 10 years ago
• GavinMendelGleason / mavis
  Optional types for Prolog
  ☆16Updated 4 years ago
• kmcallister / qoppa
  Metacircular evaluator for a tiny fexpr language
  ☆44Updated 12 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆30Updated last year
• otabat / shen-c
  A C implementation of the Shen programming language
  ☆70Updated 2 years ago
• proebsting / goaldi
  ☆30Updated last year
• ifigueroap / racket-quickcheck
  Quickcheck Clone implemented in Racket
  ☆31Updated 3 months ago
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆20Updated 9 years ago
• acook / blacklight
  a stack-based concatenative virtual machine for implementing highly concurrent languages
  ☆45Updated 8 months ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆41Updated 9 years ago
• andrewchambers / qc
  quick c
  ☆34Updated 2 years ago
• dbenoit17 / dynamic-ffi
  Auto define Racket bindings to C by parsing header files.
  ☆29Updated 2 years ago
• imrehg / ypsilon
  The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)
  ☆22Updated 2 years ago
• nineties-retro / sps
  Pre-Scheme to (GNU) C compiler written in Pre-Scheme
  ☆35Updated 10 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆48Updated 4 years ago
• tangentstorm / mandelbrowse
  A visual Mandelbrot set explorer written in J
  ☆11Updated 3 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆29Updated 8 years ago
• endobson / racket-llvm
  Bindings for llvm in racket
  ☆65Updated 9 years ago
• trith / trith
  A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.
  ☆69Updated 13 years ago
• schemeway / lalr-scm
  An Efficient LALR(1) Parser Generator for Scheme
  ☆50Updated 3 years ago