Pinned Repositories
dot_dcg
A DCG for a subset of the DOT language
GenLog
iprover
Automatically exported from code.google.com/p/iprover
LPN
Latent Predicate Networks
open_dicts
Open dicts for SWI Prolog
probprog
Repo for Dechter, Johnson, Tavares final project for 6.945.
prolog-el
Prolog mode for emacs
strappy
with
Context managers for SWI Prolog
with_state
Stateful computation with records for Prolog
edechter's Repositories
edechter/open_dicts
Open dicts for SWI Prolog
edechter/prolog-el
Prolog mode for emacs
edechter/with
Context managers for SWI Prolog
edechter/with_state
Stateful computation with records for Prolog
edechter/dot_dcg
A DCG for a subset of the DOT language
edechter/GenLog
edechter/iprover
Automatically exported from code.google.com/p/iprover
edechter/packages-http
The SWI-Prolog HTTP server and client libraries
edechter/packages-pldoc
The SWI-Prolog documentation system
edechter/packages-xpce
The graphics toolkit for SWI-Prolog
edechter/quickcheck
Randomized testing for Prolog à la QuickCheck
edechter/auc
Library for caculating the Area Under the Receiving Operating Charactersitics and Precision Recall curves
edechter/auto
A collection of source code generators for Java.
edechter/code-prettify
Automatically exported from code.google.com/p/google-code-prettify
edechter/edechter.github.io
Personal website repo
edechter/func
Apply and compose functions in Prolog
edechter/function_expansion
Help for writing function-like macros
edechter/grpc-spring-boot-starter
Spring Boot starter module for gRPC framework.
edechter/linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
edechter/matplotlibrc
My default matplotlibrc file.
edechter/packages-clib
Assorted external libraries: processes, sockets, MIME, CGI, etc.
edechter/packages-pengines
Pengines: Prolog engines
edechter/packages-plunit
The SWI-Prolog Unit Testing library
edechter/packages-semweb
The SWI-Prolog RDF store
edechter/pandas
Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more
edechter/pyswip
PySWIP is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.
edechter/swipl-devel
Main development repository
edechter/swish
SWI-Prolog for SHaring: a SWI-Prolog web IDE
edechter/test
edechter/yap-6.3
YAP Development release