Alternatives and similar repositories for Programming-with-Spaces:

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

• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆104Updated last week
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆74Updated last year
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆97Updated 9 months 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 4 months ago
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆81Updated 4 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• smabie / xs
  concatenative array language inspired by kdb/+q
  ☆90Updated 3 years ago
• erwasm / erwasm-http
  Run erlang as a WASI http server (vapourware)
  ☆26Updated 3 months ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆68Updated last year
• dkrasner / Simpletalk
  ☆56Updated last year
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 3 years ago
• npe9 / aop
  Art of Prolog Code
  ☆35Updated 5 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• JonathanMEdwards / subtext10
  ☆99Updated 3 years ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆132Updated 2 weeks ago
• 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
• chmykh / apl-life
  Conway's Game of Life in APL in FORTH: how to implement a weird programming language using another weird programming language
  ☆92Updated 4 years ago
• Zag-Research / Zag-Smalltalk
  Smalltalk VM Written in Zig with methods stored as type-annotated ASTs
  ☆133Updated this week
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 4 months ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated 2 years ago
• kelas / ooj
  the origins of J
  ☆62Updated last year
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated last year
• trealla-prolog / go
  Trealla Prolog embedded in Go using WASM
  ☆79Updated this week
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• mthom / scryer-shen
  ☆45Updated 3 months ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆28Updated 7 years ago
• blech-lang / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆65Updated last year