Alternatives and similar repositories for prolog-isolation-checker

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

• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆31Updated 3 years ago
• howonlee / audible-cos
  Audible NP-Complete Problem
  ☆22Updated 5 years ago
• bugsbugsbux / understanding-j
  An introduction to the J programming language that gets to the point.
  ☆66Updated 2 months ago
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆50Updated 2 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆68Updated 3 weeks 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…
  ☆88Updated 2 years ago
• zserge / odetoj
  Rewrite of Arthur Whitney's one-page J interpreter in Rust
  ☆60Updated 5 years ago
• pavel-krivanek / articles
  Variaous articles
  ☆80Updated 2 years ago
• smabie / xs
  concatenative array language inspired by kdb/+q
  ☆96Updated 3 years ago
• georgjz / functional-geometry-gambit-scheme
  A simple implementation based on Peter Henderson's paper "Functional Geometry"
  ☆96Updated 4 years ago
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 3 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• kennethshawfriedman / Toski
  A Prototype Debugging Tool for MIT Scheme
  ☆32Updated 6 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆78Updated 2 years ago
• moon-chilled / j
  various toys in j
  ☆12Updated 3 years ago
• alephyud / bel
  A mirror of Paul Graham's Bel source code and documentation, formatted
  ☆51Updated 3 years ago
• lokedhs / array
  Simple array language written in kotlin
  ☆46Updated 2 years ago
• coil-language / coil-lang
  The Coil Programming Language
  ☆33Updated last year
• 5jt / dyalog-cookbook
  Book and code: how to build and distribute applications in Dyalog APL
  ☆32Updated 5 years ago
• otabat / shen-c
  A C implementation of the Shen programming language
  ☆70Updated 3 years ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆85Updated 11 months ago
• davidedc / Fizzygum
  a new web framework, an entire platform really, designed from the ground up to handle complex things easily. Put the power of an entire O…
  ☆132Updated last month
• liaopeiyuan / zeta
  functional neural networks in ocaml
  ☆89Updated 5 years ago
• wingo / whiffle
  A simple incomplete Scheme-to-C compiler
  ☆74Updated 2 months ago
• alpha123 / vio
  A concise programming language that is fun to use
  ☆17Updated 9 years ago
• argolab / dyna3
  Dyna v3 built using R-exprs in Clojure, https://matthewfl.com/phd
  ☆56Updated 7 months ago
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆88Updated 3 years ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆104Updated last year
• pflanze / chj-schemelib
  A collection of libraries in Scheme
  ☆13Updated 4 years ago