Objective-C for Windows

A readline wrapper

The core software distribution for the Inform 7 programming language.

SWI-Prolog Main development repository

Virtuoso is a high-performance and scalable Multi-Model RDBMS, Data Integration Middleware, Linked Data Deployment, and HTTP Application Server Platform

SWI-Prolog stable releases

The latest version of the Inform 6 compiler, used for generating interactive fiction games.

An efficient implementation of the higher-order logic programming language Lambda Prolog

Eclipse Common Lisp

Learning by Reading pipeline of NLP and Entity Linking tools

An implementation of Common Lisp.

ThoughtTreasure commonsense knowledge base and architecture for natural language processing

InterLisp interpreter

An Open Source Re-implementation of Scott Cawthon's Five Nights at Freddy's. Written in C. Licensed under MIT. (WiP)

Franz Lisp dialect Lisp system

Fast Glulx interpreter, originally written by Iain Merrick.

A node.js interface to the SWI-Prolog library

My unofficial picat http://picat-lang.org/ repository

A simple audio mixing and processing library based on libmixed.

Fast, simplified WAM-based Prolog system

SWI-Prolog binding for the OpenGL, GLU and GLUT libraries

The graphics toolkit for SWI-Prolog

XSB Prolog

Soar-SC, Soar Starcraft AI

YAP is a high-performance Prolog compiler

A reimplementation of Uninvited in Inform

Assorted external libraries: processes, sockets, MIME, CGI, etc.

A defeasible logic reasoning system

Formula to Logic Program host repository. Please see the webpage at http://reasoning.eas.asu.edu/f2lp/ for more details.

SWI-Prolog interface to FANN (http://leenissen.dk/fann/)