edechter Goto Github PK

andor

Haskell library for probabilistic inference with AND/OR graphs

auc

Library for caculating the Area Under the Receiving Operating Charactersitics and Precision Recall curves

auto

A collection of source code generators for Java.

bench

Prolog benchmarks (`van Roy' set)

code-prettify

Automatically exported from code.google.com/p/google-code-prettify

contrib-protobufs

An interface to Google Protocol Buffers (protobuf)

contrib-space

SWI-Prolog spatial indexing package

contrib-tipc

The SWI-Prolog TIPC interface

distro-debian

Configuration files for creating a Debian package

dot_dcg

A DCG for a subset of the DOT language

edechter.github.io

Personal website repo

func

Apply and compose functions in Prolog

function_expansion

Help for writing function-like macros

genlog

grpc-spring-boot-starter

Spring Boot starter module for gRPC framework.

ihaskell

A Haskell kernel for IPython.

iprover

Automatically exported from code.google.com/p/iprover

linguist

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

log-domain

This package provides log-domain floats, doubles and complex numbers for Haskell.

lotlib

Lanugage of Thought (LOT) models in Python.

lpn

Latent Predicate Networks

matplotlibrc

My default matplotlibrc file.

mavis

Optional types for Prolog

mpld3-flask

mwc-random

A very fast Haskell library for generating high quality pseudo-random numbers.

open_dicts

Open dicts for SWI Prolog

packages-archive

Interface to libarchive

packages-chr

CHR: Leuven Constraint Handling Rules

packages-clib

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

packages-clpqr

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