Alternatives and similar repositories for prolog-isolation-checker

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

• howonlee / audible-cos
  Audible NP-Complete Problem
  ☆22Updated 5 years ago
• 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
• pavel-krivanek / articles
  Variaous articles
  ☆80Updated 2 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆78Updated 2 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆68Updated this week
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆204Updated last week
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆70Updated 6 months ago
• bugsbugsbux / understanding-j
  An introduction to the J programming language that gets to the point.
  ☆66Updated last month
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆99Updated 3 years ago
• rrampage / wart
  A simple Web Assembly Interpreter
  ☆16Updated last year
• coil-language / coil-lang
  The Coil Programming Language
  ☆33Updated last year
• georgjz / functional-geometry-gambit-scheme
  A simple implementation based on Peter Henderson's paper "Functional Geometry"
  ☆96Updated 4 years ago
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆50Updated 2 years ago
• caminadab / metamine
  A new declarative programming language
  ☆23Updated 4 years ago
• mcapodici / badlanguage
  A lisp-looking language with interpreter and compiler to JS
  ☆28Updated 6 years ago
• zserge / odetoj
  Rewrite of Arthur Whitney's one-page J interpreter in Rust
  ☆60Updated 5 years ago
• 5jt / dyalog-cookbook
  Book and code: how to build and distribute applications in Dyalog APL
  ☆33Updated 5 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
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated 2 years ago
• smabie / xs
  concatenative array language inspired by kdb/+q
  ☆96Updated 3 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 9 months ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 5 months ago
• kelas / ooj
  the origins of J
  ☆63Updated 2 years ago
• pflanze / chj-schemelib
  A collection of libraries in Scheme
  ☆13Updated 4 years ago
• spl / ivy
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆15Updated 9 years ago
• mpatajac / jillc
  Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)
  ☆79Updated 6 months ago
• ecky-l / wacl
  A Tcl distibution for WebAssembly or Javascript
  ☆48Updated 8 years ago
• lf94 / log-cabin-parametric-cadquery
  Builds parametric log cabins based on the book "How to build and furnish a log cabin."
  ☆17Updated 3 years ago
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 3 years ago