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
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆41Updated 2 years ago
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆49Updated last year
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 2 years ago
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 4 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆69Updated last year
• diagrams / diagrams-braille
  Render diagrams to Braille
  ☆29Updated 3 months ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last month
• georgjz / functional-geometry-gambit-scheme
  A simple implementation based on Peter Henderson's paper "Functional Geometry"
  ☆96Updated 3 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆110Updated 5 years ago
• alpha123 / vio
  A concise programming language that is fun to use
  ☆16Updated 9 years ago
• shapr / bloohm
  visual bloom filter to display process status as neotrellis m4 output
  ☆27Updated 8 months 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…
  ☆89Updated last year
• caminadab / metamine
  A new declarative programming language
  ☆23Updated 4 years ago
• zserge / odetoj
  Rewrite of Arthur Whitney's one-page J interpreter in Rust
  ☆62Updated 4 years ago
• mcapodici / badlanguage
  A lisp-looking language with interpreter and compiler to JS
  ☆28Updated 5 years ago
• coil-language / coil-lang
  The Coil Programming Language
  ☆34Updated 9 months ago
• pavel-krivanek / articles
  Variaous articles
  ☆80Updated last year
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• 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
• moon-chilled / j
  various toys in j
  ☆12Updated 2 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 4 years ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆196Updated 2 weeks ago
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆68Updated last week
• gamblevore / jeebox
  Clean extensible language for describing code, and human-language.
  ☆9Updated 2 years ago
• fogus / tori-lisp
  an ersatz lisp for tiny birds. a code riff.
  ☆43Updated last year
• canonware / onyx
  Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript
  ☆11Updated 3 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 11 years ago
• pflanze / chj-schemelib
  A collection of libraries in Scheme
  ☆12Updated 3 years ago