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 6 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆67Updated 2 months ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆83Updated last month
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆51Updated 2 years ago
• coil-language / coil-lang
  The Coil Programming Language
  ☆33Updated last year
• caminadab / metamine
  A new declarative programming language
  ☆23Updated 5 years ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆205Updated this week
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 3 years ago
• pavel-krivanek / articles
  Variaous articles
  ☆79Updated 2 years 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
• bugsbugsbux / understanding-j
  An introduction to the J programming language that gets to the point.
  ☆66Updated 3 months ago
• pflanze / chj-schemelib
  A collection of libraries in Scheme
  ☆13Updated 4 years ago
• liaopeiyuan / zeta
  functional neural networks in ocaml
  ☆89Updated 5 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• georgjz / functional-geometry-gambit-scheme
  A simple implementation based on Peter Henderson's paper "Functional Geometry"
  ☆96Updated 4 years ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆85Updated last year
• 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 2 months ago
• zserge / odetoj
  Rewrite of Arthur Whitney's one-page J interpreter in Rust
  ☆61Updated 5 years ago
• joelonsql / reason-re-nfa
  ReasonML code to construct an NFA from a regular expression
  ☆24Updated 6 years ago
• alephyud / bel
  A mirror of Paul Graham's Bel source code and documentation, formatted
  ☆51Updated 3 years ago
• ecky-l / wacl
  A Tcl distibution for WebAssembly or Javascript
  ☆86Updated 8 years ago
• cell-lang / runtime
  Cell language C++ runtime
  ☆18Updated 5 years ago
• smabie / xs
  concatenative array language inspired by kdb/+q
  ☆96Updated 3 years ago
• mcapodici / badlanguage
  A lisp-looking language with interpreter and compiler to JS
  ☆28Updated 6 years ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 3 years ago
• lokedhs / array
  Simple array language written in kotlin
  ☆46Updated 2 years ago
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆88Updated 3 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago