pmoura

spec

The canonical spec for ulid

jupyterlite

Wasm powered Jupyter running in the browser 💡

jupyter-ai

A generative AI extension for JupyterLab

logica

Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.

mangle

publish-unit-test-result-action

GitHub Action to publish unit test results on GitHub

rr

RR - Railroad Diagram Generator

editorconfig-checker

A tool to verify that your files are in harmony with your .editorconfig

trealla

A compact, efficient Prolog interpreter written in plain-old C.

mybinder.org-user-guide

Turn a Git repo into a collection of interactive notebooks. This is Binder's user documentation repository.

postgresql-prolog

A Prolog library to connect to PostgreSQL databases

lsp_server

Language Server Protocol server for SWI-Prolog

php

Prolog Home Page

wordnet-prolog

Prolog versions of the WordNet databases

code

typed-prolog

A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.

GILPS

General Inductive Logic Programming System

prolog2gpt

SWI Prolog library to interface to the GPT API

numsynth-aaai23

C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.

void-pi

Void Linux installer implemented in GNU Prolog.

logtalk-jupyter-kernel

A Jupyter kernel for Logtalk

rever

prolog-chess

A simple minimax chess engine written in prolog

logtalk-for-vscode

Logtalk for VSCode extension

SICStusPrologFuzzer

SICStus Prolog Fuzzer - including an extension to generate predicates and expressions in (Event-)B represented as abstract syntax trees

notebooks

Logtalk demo Jupyter notebooks

REASONX

REASONX (reason to explain)

mlliarm_packs

My Logtalk pack registry.

Pl_Concolic_Testing

A concolic testing tool for Prolog programs, using the Microsoft's SMT solver Z3

aoc2023

Advent of Code 2023