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.

Please don't include any personal information such as legal names or email addresses. Maximum 250 characters, 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

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 29 3 Updated Oct 3, 2025

Text Adventure game in SWI Prolog.

Prolog 101 2 Updated Aug 14, 2023

📄🧠 PageIndex: Document Index for Reasoning-based RAG

Python 2,703 204 Updated Sep 19, 2025

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

JavaScript 33,042 1,649 Updated Oct 7, 2025

n8n custom node for MCP

TypeScript 2,805 487 Updated Oct 6, 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 274 34 Updated Sep 25, 2025

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

Python 7,003 411 Updated Sep 28, 2025

AI coding assistant for JupyterLab

Python 190 21 Updated Oct 8, 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 Updated Dec 18, 2024

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

Go 22,006 576 Updated Oct 1, 2025

Quantum Annealing Prolog

Go 39 7 Updated Jan 25, 2022

A diagram layout engine designed specifically for software architecture diagrams

Shell 259 8 Updated Aug 19, 2025

Convert code repos into an LLM prompt-friendly format.

Python 5 1 Updated Dec 20, 2024

Prolog, Datalog, languages, resources, and beyond!

32 1 Updated Oct 31, 2024

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

Prolog 1 Updated Mar 20, 2022

A terse Prolog course

Prolog 43 3 Updated Feb 14, 2019

Logtalk Extension Pack

1 Updated Feb 7, 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 83,363 8,160 Updated Oct 9, 2025

Automate the generation of infrastructure and documentation files from source code

Python 51 9 Updated Feb 3, 2025

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

Go 11,370 465 Updated Oct 9, 2025

Port of the Prolog GraphPlan Project to Logtalk

Logtalk 1 Updated Jan 9, 2024

VSCode ctags implementation that actually works

JavaScript 26 11 Updated Jan 31, 2024

Void Linux installer implemented in GNU Prolog.

Prolog 38 5 Updated Jul 17, 2024

RR - Railroad Diagram Generator

XQuery 525 54 Updated Aug 26, 2025
Next