Melzi Ardentissimo

Optional types for Prolog

EC / pH and temperature shield for arduino

Pfc: adding forward chaining and truth maintenance to Prolog

A suite of utilities for converting to and working with CSV, the king of tabular file formats.

This is a fork of TextMate's LaTeX bundle. Focus on speed. Try compiling a document which has never been saved and has just a \begin{document} stanza. You can just start writing paragraphs, and it …

Next-Gen Sequencing Visualisation Scripts.

Extended DCG syntax for Prolog by Peter Van Roy

Repository for my journey through the #7languages7weeks challenge, plus blog.

Translate XML Schema into equivalent JSON Schema

Heavily Xchat inspired beautiful irssi theme.

SWI-Prolog for SHaring: a SWI-Prolog web IDE

A suite of utilities for converting to and working with CSV, the king of tabular file formats.

Online Probabilistic Interval-based Event Calculus

A game where you have to draw houses fast enough to keep the little pig ahead of the hungry wolf who blows them up.

This repository contains all of the Prolog code for Harry Porter's AI24 Prolog lab.

This is a fork of Alex Ross TextMate LaTeX bundle, which is a fork of original TM LaTeX bundle focused on speed. Focus on speed. It brings back commands removed by Alex and cleans up the menu.

Parser for SBVR SE based on Attempto Parsing Engine (APE)

ErgoDox keyboard configuration

A library of utilities for working with CSV, the king of tabular file formats.

SWI-Prolog for SHaring: a SWI-Prolog web IDE (Friguzzi also less changes to Main)

Prolog Implementation of Wumpus World

RTEC is an Event Calculus implementation optimised for stream reasoning

Twitter BotNet

Stabilizer: Rigorous Performance Evaluation (llvm6.0 fork)

Implementation of A* to solve the 8 tile puzzle in prolog.

Make-like build system based on prolog

Probabilistic version of the Popper ILP system.