Skip to content
View pmoura's full-sized avatar

Sponsors

@barneypell
@igler
@ai-robert
@yrashk

Organizations

@LogtalkDotOrg @VivoMind @clp-sets

Block or report pmoura

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this userโ€™s behavior. Learn more about reporting abuse.

Report abuse
Showing results

SWI-Prolog MCP Server: A Model Context Protocol server providing secure Prolog query execution with hybrid sandbox security model.

TypeScript 6 3 Updated Nov 20, 2025

The Microsoft community Windows Package Manager manifest repository

PowerShell 10,052 5,826 Updated Dec 30, 2025

Prolog like implementation for embedded systems.

C++ 6 1 Updated Aug 13, 2018

JupyterLab 4.x extension providing a Logtalk CodeMirror mode for syntax highlighting

TypeScript 1 Updated Aug 11, 2025

Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools

Python 33 3 Updated Oct 3, 2025

Text Adventure game in SWI Prolog.

Prolog 102 3 Updated Aug 14, 2023

๐Ÿ“‘ PageIndex: Document Index for Reasoning-based RAG

Jupyter Notebook 4,438 343 Updated Dec 22, 2025

Context7 MCP Server -- Up-to-date code documentation for LLMs and AI code editors

TypeScript 40,429 1,998 Updated Dec 29, 2025

n8n custom node for MCP

TypeScript 2,937 514 Updated Dec 10, 2025

๐Ÿš€ A curated list of code generation instructions for GitHub Copilot's experimental feature.

56 3 Updated Sep 19, 2024

Language documentation and blog for D2.

D2 278 35 Updated Sep 25, 2025

Jupyter Notebooks as Markdown Documents, Julia, Python or R scripts

Python 7,075 412 Updated Dec 16, 2025

AI coding assistant for JupyterLab

Python 214 31 Updated Dec 20, 2025

A VS Code extension that provides language support for prolog

TypeScript 17 5 Updated Mar 2, 2025

Agentic Framework using a Java-base Prolog

Java 1 1 Updated Dec 18, 2024

D2 is a modern diagram scripting language that turns text to diagrams.

Go 22,732 605 Updated Oct 14, 2025

Quantum Annealing Prolog

Go 39 7 Updated Jan 25, 2022

A diagram layout engine designed specifically for software architecture diagrams

Shell 268 8 Updated Aug 19, 2025

Convert code repos into an LLM prompt-friendly format.

Python 6 1 Updated Dec 20, 2024

Prolog, Datalog, languages, resources, and beyond!

33 1 Updated Oct 31, 2024

a few prototypes of doing domain-driven design and event sourcing using logtalk

Prolog 2 Updated Mar 20, 2022

A terse Prolog course

Prolog 43 3 Updated Feb 14, 2019

Logtalk Extension Pack

1 Updated Dec 22, 2025

Pong in linux terminal with prolog

Prolog 8 Updated May 17, 2024

Higher Order Prolog with Extensional Semantics

Haskell 53 5 Updated Jul 24, 2020

Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

TypeScript 84,979 8,449 Updated Dec 29, 2025

Automate the generation of infrastructure and documentation files from source code

Python 51 9 Updated Nov 4, 2025

An open-source, cross-platform terminal for seamless workflows

Go 15,821 673 Updated Dec 27, 2025

Port of the Prolog GraphPlan Project to Logtalk

Logtalk 1 Updated Jan 9, 2024
Next