Alternatives and similar repositories for Programming-with-Spaces:

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

• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆94Updated 8 months ago
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆80Updated 4 years ago
• norswap / prolog-dry
  A terse Prolog course
  ☆41Updated 5 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated 3 months ago
• smabie / xs
  concatenative array language inspired by kdb/+q
  ☆90Updated 2 years ago
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 2 years ago
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆30Updated 3 years ago
• coil-language / coil-lang
  The Coil Programming Language
  ☆34Updated 10 months ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆71Updated last year
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆69Updated last year
• false-schemers / sharpF
  #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…
  ☆50Updated 2 years ago
• mighty-gerbils / gerbil-persist
  Persistence of concurrent activities for Gerbil Scheme
  ☆50Updated 3 months ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆34Updated 6 months ago
• mthom / scryer-shen
  ☆44Updated 2 months ago
• hpi-swa / Gramada
  Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…
  ☆16Updated 4 years ago
• moon-chilled / j
  various toys in j
  ☆12Updated 2 years ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆35Updated 2 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• darius / cant
  A programming argot
  ☆58Updated 9 months ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• danlm / QNial7
  The NIAL language environment
  ☆110Updated last year
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆41Updated 2 years ago
• Zag-Research / Zag-Smalltalk
  Smalltalk VM Written in Zig with methods stored as type-annotated ASTs
  ☆135Updated this week
• JonathanMEdwards / subtext10
  ☆96Updated 2 years ago
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆74Updated 14 years ago
• tavmem / buddy
  early A interpreter with buddy system space management.
  ☆41Updated 4 years ago
• uprun / lisperanto
  Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;
  ☆42Updated 2 years ago