Jan Wielemaker's repositories
rocks-predicates
Put predicates into a RocksDB database
report-wfs
LIfe document describing the implementation of well founded semantics in SWI-Prolog
pce_emacs_extensions
Personal extensions for SWI-Prolog's built-in editor
TPLP-swish
TPLP paper about SWISH
ciao
Ciao Prolog compatibility library
cplint
cplint is a suite of programs for reasoning with probabilistic logic programs
cplint-on-swish
SWI-Prolog for SHaring: a SWI-Prolog web IDE
ddd-downloader
The DDD downloader is a set of scripts to download the Databank Digitale Dagbladen from the National library of the Netherlands. It was created in 2011 by Daan Odijk at ILPS (University of Amsterdam).
depslint
A tool for dependencies validation for ninja build system using strace to detect the real dependencies
edcg
Extended DCG syntax for Prolog by Peter Van Roy
eye
Euler Yet another proof Engine
fine_upload
HTTP backend for FineUpload file uploader
Garp3
Qualitative Reasoning & Modelling
monotonic
Experiments using monotonic tabling
odf_sheet
Access Open Document spreadsheets
optica
Old (mostly Dutch) program for optics experiments
peter
Simple (mostly Dutch) prediction game
pharos
Automated static analysis tools for binary programs
plow
Quantitative logic programming
redis-doc
Redis documentation source code for markdown and metadata files, conversion scripts, and so forth
tabling_benchmarks
Benchmarks for tabling