subsetpark / pantagruel
A program specification language with a formal syntax and ad-hoc semantics.
☆71Updated last year
Alternatives and similar repositories for pantagruel:
Users that are interested in pantagruel are comparing it to the libraries listed below
- Persistence of concurrent activities for Gerbil Scheme☆50Updated 5 months ago
- ☆47Updated 5 months ago
- ☆36Updated last year
- Plot Cookbook☆50Updated 2 years ago
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- A Prolog library to connect to PostgreSQL databases☆97Updated 11 months ago
- ☆47Updated 3 years ago
- Dawn Phase 1 proto-language☆37Updated 3 years ago
- A Swift wrapper around Racket CS.☆63Updated 2 weeks ago
- optimize your home bar with ✨logic programming✨☆78Updated 3 years ago
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- visual bloom filter to display process status as neotrellis m4 output☆27Updated 11 months ago
- A persistent, relational store inspired by Datomic and DataScript.☆54Updated 2 years ago
- A typed, polyglot, functional language☆196Updated this week
- Collaborative Lisp coding on Discord☆34Updated last year
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆112Updated 5 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- ☆100Updated 3 years ago
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 4 years ago
- PostgreSQL Prolog language handler☆132Updated last year
- A lisp dialect based on pattern matching and term rewriting☆84Updated 6 months ago
- A logic programming language that has features of both Datalog and answer set programming.☆113Updated last week
- Attempting a useful "cookbook" for the Janet language☆51Updated last year
- concatenative array language inspired by kdb/+q☆91Updated 3 years ago
- Scripting language for testing JSON-based HTTP APIs☆45Updated 3 years ago
- Run dyalog APL and RIDE on nixos☆20Updated 10 months ago
- Contractual Semver☆26Updated 2 years ago
- A Typed, Composable Database Query Language☆104Updated 4 years ago
- A functional programming language with lisp syntax and ML semantics that runs on the BEAM☆46Updated 3 years ago