Michael Hendricks

golog. Prolog interpreter in Go

374

ps. Persistent data structures for Go

112

merge-this. Revision control stress tests

101

microkanren-prolog. Prolog implementation of microKanren

44

tap-go. Test Anything Protocol for Go

30

edcg. Extended DCG syntax for Prolog by Peter Van Roy

22

network-bitcoin. Haskell bindings for Bitcoin RPC

19

func. Apply and compose functions in Prolog

19

regex. Regular expressions for Prolog

17

atom-emacs-core-keys. Emacs key bindings for only core Atom functionality

14

spawn. Easy concurrency for Prolog

13

net-couchdb. Perl interface for CouchDB

13

jolog. Concurrent and distributed Prolog via join patterns (join calculus)

12

prolog_library_ideas. Random ideas about libraries for Prolog

12

list_util. Prolog list utility predicates

11

mavis. Optional types for Prolog

11

dcg_util. DCG utility predicates for Prolog

10

binprolog. Contributions to BinProlog. See https://code.google.com/p/binprolog/

10

miser. Prolog library for building self-optimizing predicates

9

delay. Coroutine versions of built-in Prolog predicates

8

djson. Declarative JSON library for Prolog

8

Finance-MtGox. MtGox API bindings for Perl

8

sweet. Sugar to make Prolog a little sweeter

6

bencode. Bencoding for Prolog

6

term_diff. Calculate patches between two Prolog terms

6

condition. Condition system (a la Common Lisp) for Prolog

6

rand. Easy random numbers for Go

5

docker-swipl. Docker image for SWI Prolog

5

function_expansion. Help for writing function-like macros

5

interpolate. String interpolation for Prolog

5

swi-prolog-on-dotcloud. SWI-Prolog on dotCloud as a custom service

4

tidylog. Automatically format Prolog source code

4

atom_feed. Parse and query Atom Syndication Format in Prolog

4

ddata. Declarative data structures for Prolog

4

gift. Command-line tool for creating SWI-Prolog packs

4

web. Easy web client library for Prolog

4

helloswipl-dotcloud. Hello World app for SWI-Prolog on dotCloud

3

hush. tiny, command line password manager

3

term_util. Predicates for working with Prolog terms

3

maybe. Prolog "maybe" type

3

struct. Compound terms with named arguments for Prolog

3

brass-plates. Tools for finding the contents of Lehi's Brass Plates

3

roman. Roman numerals in Prolog

2

btcutil. Utility functions for Bitcoin ECC

2

tp. Patch-centric git porcelain, inspired by darcs

2

notes800. Prolog interface to http://800notes.com/

2

needless-search. Search any file system in <100 ms

2

go-xco. Library for building XMPP/Jabber ( XEP-0114 ) components in golang.

2

CSS-Shake. Find unused CSS rules

2

getkey. Read a single key from the terminal

2

uri_qq. SWI-Prolog quasiquotation for URIs

2

prolog.vim. Prolog Integration for Vim

2

chan. Directional channels for Prolog

2

unified_diff. Parse and generate unified diffs from Prolog

2

readability_parser. Access Readability's Parser API using Prolog

2

Thread-Lite. lighter weight Perl threads

2