pSpaces / Programming-with-SpacesLinks
Getting started, manuals and tutorials
☆52Updated last year
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:
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆83Updated 5 years ago
- A Prolog library to connect to PostgreSQL databases☆99Updated last year
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- ☆53Updated last month
- A lisp dialect based on pattern matching and term rewriting☆84Updated 8 months ago
- A terse Prolog course☆43Updated 6 years ago
- Leibniz - a Digital Scientific Notation☆35Updated 2 months ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- the origins of J☆62Updated last year
- The Coil Programming Language☆33Updated last year
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- A List of companies that use Array Languages (J, K, APL, q)☆98Updated last year
- #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…☆51Updated 3 years ago
- Smalltalk VM Written in Zig with methods stored as type-annotated ASTs☆136Updated this week
- APL-based web service framework supporting JSON or REST☆36Updated 3 weeks ago
- ☆100Updated 3 years ago
- Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;☆44Updated last month
- 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
- ☆60Updated last year
- Explorations in area of programming languages: concepts, typing, formal verification☆18Updated 3 years ago
- DocLog builds documentation from source code in Prolog☆27Updated 5 months ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- An implementation of the Newspeak programming language☆62Updated 3 weeks ago
- concatenative array language inspired by kdb/+q☆92Updated 3 years ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆28Updated 3 years ago
- A simple incomplete Scheme-to-C compiler☆67Updated 2 months ago
- Function EXpression Language (interpreter for functional programs)☆82Updated 2 weeks ago
- Plot Cookbook☆50Updated 2 years ago
- Framework for Effortless Language Servers with Language Servers for SOM, SOMns, and SimpleLanguage☆19Updated last year