ktp-forked-repos Goto Github PK

opm-coiclp

Experiments with OPM and Coinductive Constraint Logic Programming

opstr

Otwarta Polska Sieć Tras Rowerowych

optaplanner

Java Constraint Solver to solve vehicle routing, employee rostering, task assignment, conference scheduling and other planning problems.

opticl

An image processing library for Common Lisp

optima

Optimized Pattern Matching Library for Common Lisp

oratio

oRatio is an Integrated Logic and Constraint based Reasoner

oratio-1

oRatio is an Integrated Logic and Constraint based solver

orbiter

Orbiter is an opensource docker swarm autoscaler

order-rest-backend

org-bullets

utf-8 bullets for org-mode

org-elisp-help

Org links to emacs-lisp documentation

org-health

org-html-slideshow

JavaScript presentation slides generated from Emacs org-mode

org-projectile

Manage org-mode TODOs for your projectile projects

organization-genomics

orthodontist-expert-system

Programmed an expert system for aligning the crooked teeth generating optimal sequence of required fix using Constraint Logic Programming over Finite Domains (CLPFD).

oscon-2018

livecoding talk for oscon 2018

osgameclones

Open Source Clones of Popular Games

ostari

Practical Specification of Belief Manipulation in Games

outlined-elisp-mode

[emacs] outline-minor-mode settings for emacs lisp

ow

Function argument validation for humans

owl-verbalizer

OWL verbalizer: making machine-readable knowledge also human-readable

owl_inspector

GUI to visualize SWI CLP(FD) programs

p-queue

Promise queue with concurrency control

packages

packages-bdb

The SWI-Prolog BerkelyDB interface

packages-chr

CHR: Leuven Constraint Handling Rules

packages-clpqr

CLP(Q,R): constraints over rational numbers and floats by Leslie de Koninck

packages-cpp

The SWI-Prolog C++ interface

packages-cppproxy

A network-based SWI-Prolog <-> C++ interface