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
- various toys in j☆12Updated 2 years ago
- Bringing Prolog to the masses.☆36Updated 3 years ago
- Template engine for ISO Prolog, based on Jinja and Tera☆15Updated last year
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- concatenative array language inspired by kdb/+q☆91Updated 3 years ago
- Fast, simplified WAM-based Prolog system☆21Updated 2 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- ☆46Updated 4 months ago
- Kanren with databases☆43Updated 7 months ago
- Intuitionistic Programming Language☆11Updated 11 years ago
- DevOps for Dyalog APL☆16Updated 2 months ago
- A concise programming language that is fun to use☆16Updated 9 years ago
- Book and code: how to build and distribute applications in Dyalog APL☆33Updated 5 years ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 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
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆16Updated 5 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- The Coil Programming Language☆34Updated last year
- DocLog builds documentation from source code in Prolog☆26Updated 2 months ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- A Prolog library to connect to PostgreSQL databases☆97Updated 10 months ago
- Racket to WebAssembly Compiler☆31Updated 2 months ago
- ☆14Updated 4 years ago
- Charity Programming Language☆39Updated 9 years ago
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 9 years ago
- Font for turning J into APL☆12Updated 6 years ago
- Implementation of the Aardappel programming language☆31Updated 7 years ago