pSpaces / Programming-with-SpacesLinks
Getting started, manuals and tutorials
☆55Updated 2 years ago
Alternatives and similar repositories for Programming-with-Spaces
Users that are interested in Programming-with-Spaces are comparing it to the libraries listed below
Sorting:
- Smalltalk VM Written in Zig with methods stored as type-annotated ASTs☆149Updated last week
- ☆61Updated 2 years ago
- Programming language for ternary computing☆31Updated 4 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Explorations in area of programming languages: concepts, typing, formal verification☆18Updated 3 years ago
- Manfred von Thun's Programming Language Joy☆100Updated 11 months ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆90Updated 5 years ago
- An introduction to the J programming language that gets to the point.☆67Updated last month
- ☆104Updated 3 years ago
- A logic programming language that has features of both Datalog and answer set programming.☆120Updated last month
- A bare-metal actor operating system for Raspberry Pi.☆67Updated 2 weeks ago
- An implementation of the Newspeak programming language☆69Updated 3 weeks ago
- Demo of a WAM Prolog implementation in Python☆78Updated 2 years ago
- A pure-actor virtual machine with object-capabilities and memory-safety.☆90Updated last week
- A Prolog library to connect to PostgreSQL databases☆106Updated last year
- Variaous articles☆79Updated 2 years ago
- A lisp dialect based on pattern matching and term rewriting☆85Updated last year
- Examples of Beads programs☆112Updated 6 months ago
- ☆55Updated 5 months ago
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago
- A SmallTalk like live coding system running in the browser, based on TypeScript.☆67Updated 6 years ago
- The Om programming language.☆174Updated last year
- the origins of J☆63Updated 2 years ago
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 4 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆85Updated 2 months ago
- Function EXpression Language (interpreter for functional programs)☆84Updated 3 months ago
- A PEG that compiles itself.☆76Updated 15 years ago
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 8 years ago
- A new declarative programming language☆24Updated 5 years ago
- Smalltalk development in your browser and Node.js☆178Updated last week