lf94 / paizo-programmer
An ergonomic, mobile-first, Prolog playground!
☆30Updated 2 years ago
Alternatives and similar repositories for paizo-programmer:
Users that are interested in paizo-programmer are comparing it to the libraries listed below
- Template engine for ISO Prolog, based on Jinja and Tera☆15Updated last year
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 14 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 4 years ago
- Kanren with databases☆43Updated 6 months ago
- Bringing Prolog to the masses.☆35Updated 2 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- ☆45Updated 3 months ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆28Updated 7 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
- Fast, simplified WAM-based Prolog system☆21Updated last year
- CHR2 to SQL conversion☆13Updated 9 years ago
- Lisp for JSON☆18Updated 7 years ago
- Intuitionistic Programming Language☆11Updated 11 years ago
- various toys in j☆12Updated 2 years ago
- A Prolog library to connect to PostgreSQL databases☆96Updated 9 months ago
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆20Updated last week
- DocLog builds documentation from source code in Prolog☆26Updated last month
- Run dyalog APL and RIDE on nixos☆21Updated 9 months ago
- purple: compiling a reflective language☆32Updated 4 months ago
- concatenative array language inspired by kdb/+q☆90Updated 2 years ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Updated 3 years ago
- Optional types for Prolog☆16Updated 5 years ago
- ☆14Updated 4 years ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆23Updated 2 months ago
- Simple Neural Network Examples in 8 lines APL☆30Updated last year
- Untyped Concatenative Calculus☆19Updated 3 years ago
- Manfred von Thun's Programming Language Joy☆16Updated last month
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Updated 2 years ago