Alternatives and similar repositories for prolog-isolation-checker

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

• 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
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆68Updated last year
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆50Updated 2 years ago
• kennethshawfriedman / Toski
  A Prototype Debugging Tool for MIT Scheme
  ☆32Updated 5 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 7 months ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• moon-chilled / j
  various toys in j
  ☆12Updated 3 years ago
• howonlee / audible-cos
  Audible NP-Complete Problem
  ☆22Updated 5 years ago
• diagrams / diagrams-braille
  Render diagrams to Braille
  ☆29Updated 2 months ago
• pflanze / chj-schemelib
  A collection of libraries in Scheme
  ☆13Updated 4 years ago
• zserge / odetoj
  Rewrite of Arthur Whitney's one-page J interpreter in Rust
  ☆61Updated 5 years ago
• disconcision / furl
  in-progress 🚧 explosional 💥 editor
  ☆23Updated 3 years ago
• fogus / tori-lisp
  an ersatz lisp for tiny birds. a code riff.
  ☆43Updated last year
• mcapodici / badlanguage
  A lisp-looking language with interpreter and compiler to JS
  ☆28Updated 5 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
  ☆33Updated 5 years ago
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆78Updated 3 years ago
• avik-das / garlic
  A compiler for a Scheme-like language. Currently, the goal is not full standards-compliance but rather to implement a compiler that is us…
  ☆13Updated 4 months ago
• alpha123 / vio
  A concise programming language that is fun to use
  ☆16Updated 9 years ago
• timfi / dotmatrix
  A dot matrix rendered using braille characters.
  ☆26Updated 3 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
• mollerse / ait-lang
  Ait - Concatenative language for making visual demos with Canvas
  ☆47Updated 7 years ago
• caminadab / metamine
  A new declarative programming language
  ☆23Updated 4 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• bopwerks / omnino
  Omnino is a windowing system for web applications.
  ☆57Updated last year
• ckkashyap / nimxv6
  Infuse nim into xv6 till it replaces all the "C"
  ☆13Updated 9 years ago
• pavel-krivanek / articles
  Variaous articles
  ☆80Updated 2 years ago
• namin / 3-proto-lisp
  Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.
  ☆14Updated 4 years ago