Alternatives and similar repositories for Programming-with-Spaces

Users that are interested in Programming-with-Spaces are comparing it to the libraries listed below

• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆82Updated 4 years ago
• mthom / scryer-shen
  ☆51Updated 2 weeks 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
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆98Updated last year
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated 2 years ago
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 3 years ago
• smabie / xs
  concatenative array language inspired by kdb/+q
  ☆92Updated 3 years ago
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆30Updated 4 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated 7 months ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆117Updated 3 weeks ago
• pavel-krivanek / articles
  Variaous articles
  ☆80Updated 2 years ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• dkrasner / Simpletalk
  ☆60Updated last year
• trealla-prolog / trealla
  A compact, efficient Prolog interpreter written in plain-old C.
  ☆296Updated this week
• MITDDC / clu-1976-1989
  A set of files that can be used to create a working version of an early version of the CLU programming language
  ☆36Updated 2 years ago
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆76Updated 14 years ago
• danlm / QNial7
  The NIAL language environment
  ☆112Updated 2 years ago
• lokedhs / array
  Simple array language written in kotlin
  ☆46Updated 2 years ago
• amyjko / citrus-barista
  A programming language and user interface toolkit for creating structured editors.
  ☆20Updated 7 months ago
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆27Updated 5 months ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆134Updated 2 weeks ago
• smarr / RoarVM
  RoarVM is a manycore Smalltalk Virtual Machine
  ☆241Updated 11 years ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 3 years ago
• leostera / awesome-alt-langs
  Just a list of Awesome Alt Langs to check out
  ☆99Updated last year
• blech-lang / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆67Updated 2 years ago
• SWI-Prolog / npm-swipl-wasm
  SWI-Prolog WebAssembly build as a NPM package
  ☆50Updated this week
• codr7 / eli
  Embedded Lisp Interpreter
  ☆52Updated 2 weeks ago