lf94 / paizo-programmerLinks
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
Sorting:
- Bringing Prolog to the masses.☆36Updated 3 years ago
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- Template engine for ISO Prolog, based on Jinja and Tera☆17Updated last year
- 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
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 3 years ago
- various toys in j☆12Updated 3 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- Kanren with databases☆43Updated 10 months ago
- Common lisp implementation of Val Schorr's Meta-II language☆17Updated 8 years ago
- The Coil Programming Language☆34Updated last year
- Plot Cookbook☆50Updated 2 years ago
- ☆51Updated 2 weeks ago
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- concatenative array language inspired by kdb/+q☆92Updated 3 years ago
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Updated last month
- Intuitionistic Programming Language☆11Updated 11 years ago
- Fast, simplified WAM-based Prolog system☆22Updated 2 weeks ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 14 years ago
- A terse Prolog course☆43Updated 6 years ago
- Reason about Term Rewriting Systems☆16Updated 2 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
- Prolog implementation of microKanren☆43Updated 10 years ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Updated 3 years ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆32Updated this week
- Guy Steele's RABBIT Scheme compiler☆60Updated 16 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- A lisp dialect based on pattern matching and term rewriting☆84Updated 7 months ago
- Racket to WebAssembly Compiler☆35Updated 4 months ago