Alternatives and similar repositories for prolog-isolation-checker:

Users that are interested in prolog-isolation-checker are comparing it to the libraries listed below

• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆68Updated last year
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• kennethshawfriedman / Toski
  A Prototype Debugging Tool for MIT Scheme
  ☆32Updated 5 years ago
• caminadab / metamine
  A new declarative programming language
  ☆23Updated 4 years ago
• mpatajac / jillc
  Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)
  ☆80Updated last month
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆50Updated 2 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 5 years ago
• mcapodici / badlanguage
  A lisp-looking language with interpreter and compiler to JS
  ☆28Updated 5 years ago
• 5jt / dyalog-cookbook
  Book and code: how to build and distribute applications in Dyalog APL
  ☆33Updated 5 years ago
• namin / 3-proto-lisp
  Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.
  ☆13Updated 3 years ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• timfi / dotmatrix
  A dot matrix rendered using braille characters.
  ☆26Updated 3 years ago
• ytakano / blisp-repl
  ☆20Updated 2 years ago
• georgjz / functional-geometry-gambit-scheme
  A simple implementation based on Peter Henderson's paper "Functional Geometry"
  ☆96Updated 4 years ago
• zserge / odetoj
  Rewrite of Arthur Whitney's one-page J interpreter in Rust
  ☆62Updated 5 years ago
• aaronjanse / marble-complete
  Design a turing-complete marble run with ascii/unicode art
  ☆54Updated 7 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 4 years ago
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆69Updated last month
• coil-language / coil-lang
  The Coil Programming Language
  ☆34Updated last year
• ocapn / syrup
  Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.
  ☆26Updated 11 months ago
• gregfjohnson / aplette
  This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…
  ☆89Updated 2 years ago
• howonlee / audible-cos
  Audible NP-Complete Problem
  ☆22Updated 5 years ago
• moon-chilled / j
  various toys in j
  ☆12Updated 3 years ago
• fogus / tori-lisp
  an ersatz lisp for tiny birds. a code riff.
  ☆43Updated last year
• pavel-krivanek / articles
  Variaous articles
  ☆80Updated 2 years ago
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 4 years ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 2 years ago
• ashinkarov / cnn-in-apl
  CNN in APL
  ☆22Updated 2 years ago
• canonware / onyx
  Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript
  ☆11Updated 3 years ago