triska / the-power-of-prolog
The Power of Prolog: Introduction to modern Prolog
☆1,275Updated last month
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,178Updated 2 weeks ago
- Curated list of Prolog packages and resources☆529Updated 2 years ago
- The Mercury logic programming system.☆942Updated this week
- An open source Prolog interpreter in JavaScript☆595Updated 2 years ago
- Prototype smart text editor☆1,060Updated last week
- Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.☆1,401Updated 5 months ago
- Logtalk - declarative object-oriented logic programming language☆441Updated last week
- A statically typed concatenative systems programming language.☆1,116Updated last year
- Programming Languages Zoo☆1,484Updated 9 months ago
- Gerbil Scheme☆1,185Updated this week
- A brand-new compiler that allows practical application development using R7RS Scheme. We provide modern features and a stable system cap…☆842Updated last month
- WIP implementation of a Haskell-like Lisp in Racket☆1,169Updated 11 months ago
- The MLton repository☆1,001Updated last month
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆710Updated 3 years ago
- The Reckless Racket Shell☆555Updated last year
- A programming language with static memory management based on λ-calculus☆996Updated 3 weeks ago
- Factor programming language☆1,701Updated this week
- J engine source mirror☆684Updated this week
- Functional language with intensional polymorphism and first-class staging.☆929Updated 3 weeks ago
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆188Updated 4 years ago
- a lightweight, robust, scheme-like lisp implementation☆1,597Updated 5 years ago
- Typed Racket☆534Updated 2 weeks ago
- Racket to JavaScript Compiler☆715Updated last year
- Proving leftpad correct two-dozen different ways☆668Updated last week
- An axiom-free formalization of category theory in Coq for personal study and practical work☆768Updated last week
- Compiler for the Mirth programming language.☆461Updated this week
- A functional programming language based on algebraic effect handlers☆869Updated 6 months ago
- LambdaNative is a cross-platform development environment written in Scheme, supporting Android, iOS, BlackBerry 10, OS X, Linux, Windows,…☆1,409Updated last week
- The Lux Programming Language☆1,695Updated last week
- Poly/ML☆497Updated last week