An X11 window manager written in Prolog
☆294Apr 13, 2026Updated 6 months ago
Alternatives and similar repositories for plwm
Users that are interested in plwm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An experimental package manager for Scryer Prolog☆27Nov 25, 2025Updated 11 months ago
- DocLog builds documentation from source code in Prolog☆34Oct 22, 2026Updated last week
- Common Lisp implementation of the Forth 2012 Standard☆144Updated this week
- Full-featured logic programming (AKA "Prolog") embedded in/callable from and supporting calls to Clojure. In the spirit of LogLisp, Lisp…☆269Apr 4, 2024Updated 2 years ago
- A modern Prolog implementation written mostly in Rust.☆2,467Oct 22, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A compact, efficient Prolog interpreter written in plain old C.☆391Updated this week
- C plus Prolog☆169Apr 11, 2026Updated 6 months ago
- Language Server Protocol server for SWI-Prolog☆130Oct 4, 2026Updated 3 weeks ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆18Aug 6, 2026Updated 2 months ago
- A stack-based VM with sets — a Prolog-compiled, s-expression-flavored language with static types, effect inference and basic optimization…☆21Updated this week
- A Unix shell and Lisp REPL, fused together☆347Updated this week
- L. L. Odette's Prolog Virtual Machine (PVM) implemented in Forth. Upgraded to 32 Bit ANSI Forth. Tested on ForthWin.☆30Aug 20, 2021Updated 5 years ago
- Polynomial-time Meta-Interpretive Learning☆137Feb 11, 2025Updated last year
- Web playground to try Scryer Prolog in your browser!☆16Nov 29, 2025Updated 11 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Ultra Portable, Small, Baremetal Forth for various processors☆58Feb 24, 2026Updated 8 months ago
- A page-backed SQL database built with SWI-Prolog, featuring persistent B+Tree indexes, a bounded buffer pool, recovery, streaming imports…☆26Aug 13, 2026Updated 2 months ago
- framebuffer user interface☆304May 19, 2025Updated last year
- A Gemini client for Varvara, written in Finwë.☆10Sep 21, 2024Updated 2 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆34Oct 18, 2017Updated 9 years ago
- Hey, Canon, look what I did to your "work processor."☆12Jul 14, 2024Updated 2 years ago
- The Power of Prolog: Introduction to modern Prolog☆1,408Oct 12, 2026Updated 2 weeks ago
- A Prolog library to connect to PostgreSQL databases☆107Jun 7, 2026Updated 4 months ago
- tar creator+extractor in ~100 lines of prolog☆264Jan 22, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A tokenizer written in (SWI-)Prolog. It has some useful features and some flexibility and it might improve.☆11Jun 23, 2019Updated 7 years ago
- Immutable Ropes for Common Lisp☆21Dec 24, 2024Updated last year
- Planning and Domain Definition Language (PDDL) syntax highlighting for vim☆11Dec 12, 2023Updated 2 years ago
- Refactoring Tools for SWI-Prolog☆23Updated this week
- Randomized testing for Prolog à la QuickCheck☆23Jul 30, 2019Updated 7 years ago
- Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.☆13Aug 13, 2025Updated last year
- CP/M-386: CP/M for 386 protected mode, derived from CP/M-68K☆58Oct 5, 2026Updated 3 weeks ago
- A Personal Software Runtime inspired by Emacs, Plan 9, Erlang, Hypermedia, and Unix☆414Oct 15, 2026Updated 2 weeks ago
- interpreter and compiler to be compatible with ARITY/PROLOG（MS-DOS)☆153Oct 17, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- webui bindings for Common Lisp☆42Oct 19, 2025Updated last year
- Minimalist session manager and a /toolchest/ like application launcher for Unix/X11.☆24Aug 14, 2026Updated 2 months ago
- Demo of a WAM Prolog implementation in Python☆80Apr 28, 2023Updated 3 years ago
- The only reasonable scripting engine for Go.☆738Oct 20, 2026Updated last week
- File format and optimizer for programs encoded in binary lambda calculus☆17Jan 21, 2024Updated 2 years ago
- A JIT Compiler and Runtime for Java in Common Lisp☆301Updated this week
- Rational R1000/s400 emulator (second iteration)☆12Mar 25, 2026Updated 7 months ago