triska / the-power-of-prolog
The Power of Prolog: Introduction to modern Prolog
☆1,285Updated 2 weeks ago
Alternatives and similar repositories for the-power-of-prolog:
Users that are interested in the-power-of-prolog are comparing it to the libraries listed below
- A modern Prolog implementation written mostly in Rust.☆2,200Updated this week
- Curated list of Prolog packages and resources☆533Updated 2 years ago
- The Mercury logic programming system.☆943Updated last week
- An introduction to programming language theory in Agda☆1,417Updated 2 weeks ago
- An open source Prolog interpreter in JavaScript☆602Updated 2 years ago
- Logtalk - declarative object-oriented logic programming language☆443Updated this week
- Proving leftpad correct two-dozen different ways☆669Updated this week
- Prototype smart text editor☆1,061Updated last month
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆714Updated 3 years ago
- WIP implementation of a Haskell-like Lisp in Racket☆1,171Updated last year
- A programming language with static memory management based on λ-calculus☆996Updated last week
- An axiom-free formalization of category theory in Coq for personal study and practical work☆770Updated last month
- Constraint Logic Programming over Finite Domains☆178Updated 5 years ago
- SWI-Prolog for SHaring: a SWI-Prolog web IDE☆523Updated 2 weeks ago
- A collection of resources for learning type theory and type theory adjacent fields.☆2,250Updated this week
- SWI-Prolog Main development repository☆1,055Updated this week
- The MLton repository☆1,007Updated last month
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆188Updated 4 years ago
- The Pyret language.☆1,085Updated 2 weeks ago
- a lightweight, robust, scheme-like lisp implementation☆1,601Updated 5 years ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,027Updated this week
- ☆427Updated last year
- The Reckless Racket Shell☆557Updated last year
- What I Wish I Knew When Learning Haskell☆2,580Updated 3 years ago
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆502Updated 2 years ago
- High-performance, Reliable, and Parallel APL☆737Updated this week
- Programming Languages Zoo☆1,489Updated 10 months ago
- Mozart Programming System v2☆582Updated 2 months ago
- Typed Racket☆535Updated last week
- Domain-Specific Languages of Mathematics☆436Updated last month