A bare-bones blogging system, written in Prolog
☆27Feb 3, 2024Updated 2 years ago
Alternatives and similar repositories for plog
Users that are interested in plog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Demo SWI-Prolog HTTP based chat server☆22Nov 2, 2016Updated 10 years ago
- Erlang Pengine, Erlang client to prolog pengine server.☆11Jun 15, 2021Updated 5 years ago
- A Pandoc filter that identifies Haskell code in Markdown, executes the code in GHCI and embeds the results in the returned Markdown.☆14Jul 11, 2019Updated 7 years ago
- A browser-only web interface to the free-theorems library☆12May 22, 2025Updated last year
- 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.
- Optional types for Prolog☆11Aug 14, 2018Updated 8 years ago
- Write TAP tests with SWI-Prolog☆13Jan 19, 2023Updated 3 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 6 years ago
- Run SWI-Prolog in your browser using WebAssemply☆79Aug 29, 2022Updated 4 years ago
- A style guide for Coq☆18Nov 30, 2021Updated 4 years ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 7 years ago
- Markdown parser for SWI-Prolog.☆23Oct 22, 2020Updated 6 years ago
- Probabilistic Functional Logic Programming☆16Mar 27, 2025Updated last year
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Sep 25, 2026Updated last month
- 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.
- An implementation of scoped algebraic effects and handlers in Agda.☆18Mar 11, 2021Updated 5 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/pln-experimental and https://github.com/trueagi-io/PLN]. Probabilisti…☆16Sep 20, 2025Updated last year
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 8 years ago
- miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…☆15Mar 16, 2018Updated 8 years ago
- A deliberative software agent using Perl/Prolog/Emacs able to plan and execute language functions, programs and shell commands☆12May 17, 2019Updated 7 years ago
- Boolean Constraint Solving in Prolog☆49Dec 8, 2024Updated last year
- Lojban ologs (categorical databases) using jq☆26Nov 29, 2018Updated 7 years ago
- iCalendar/RFC5545 file format library for Common Lisp☆17May 17, 2026Updated 5 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An implementation of generic authenticated data structures in OCaml☆16Sep 24, 2019Updated 7 years ago
- Laptop browser update service☆19Sep 3, 2020Updated 6 years ago
- ☆10May 3, 2017Updated 9 years ago
- Experiments in formalizing refinement type systems in Coq☆18Feb 7, 2016Updated 10 years ago
- Emscripten WASM build of libutp☆16Oct 24, 2019Updated 7 years ago
- The server side for the Inform Public Library.☆20Jan 18, 2024Updated 2 years ago
- A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.☆22Apr 2, 2020Updated 6 years ago
- Introduction to algebraic effects and handlers☆100Jul 21, 2018Updated 8 years ago
- MUD Server written in Prolog using Forward chaining☆30Feb 6, 2022Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Simple Prolog to JS transpiler☆20Oct 19, 2012Updated 14 years ago
- A Javascript implementation of Prolog☆16Mar 20, 2016Updated 10 years ago
- super handy utilities for traversing flat content state☆43May 25, 2020Updated 6 years ago
- Optional types for Prolog☆19Dec 12, 2019Updated 6 years ago
- (early experiments toward) a version-control system for structured data☆19Jul 23, 2023Updated 3 years ago
- Prolog language support for Visual Studio Code☆21May 14, 2021Updated 5 years ago
- Write your GDB scripts in Haskell!☆27Dec 13, 2021Updated 4 years ago