Michael Hendricks (@mndrix)

Top repositories

1

golog

Prolog interpreter in Go
Go
374
star
2

ps

Persistent data structures for Go
Go
114
star
3

merge-this

Revision control stress tests
Perl
101
star
4

microkanren-prolog

Prolog implementation of microKanren
Prolog
41
star
5

tap-go

Test Anything Protocol for Go
Go
26
star
6

edcg

Extended DCG syntax for Prolog by Peter Van Roy
Prolog
21
star
7

func

Apply and compose functions in Prolog
Prolog
19
star
8

network-bitcoin

Haskell bindings for Bitcoin RPC
Haskell
18
star
9

regex

Regular expressions for Prolog
Prolog
17
star
10

atom-emacs-core-keys

Emacs key bindings for only core Atom functionality
14
star
11

spawn

Easy concurrency for Prolog
Prolog
13
star
12

net-couchdb

Perl interface for CouchDB
Perl
13
star
13

prolog_library_ideas

Random ideas about libraries for Prolog
12
star
14

list_util

Prolog list utility predicates
Prolog
11
star
15

jolog

Concurrent and distributed Prolog via join patterns (join calculus)
Prolog
11
star
16

mavis

Optional types for Prolog
Prolog
11
star
17

dcg_util

DCG utility predicates for Prolog
Prolog
10
star
18

binprolog

Contributions to BinProlog. See https://code.google.com/p/binprolog/
C
9
star
19

miser

Prolog library for building self-optimizing predicates
Prolog
9
star
20

delay

Coroutine versions of built-in Prolog predicates
Prolog
8
star
21

Finance-MtGox

MtGox API bindings for Perl
Perl
8
star
22

djson

Declarative JSON library for Prolog
Prolog
8
star
23

sweet

Sugar to make Prolog a little sweeter
Prolog
6
star
24

condition

Condition system (a la Common Lisp) for Prolog
Prolog
6
star
25

term_diff

Calculate patches between two Prolog terms
Prolog
6
star
26

bencode

Bencoding for Prolog
Prolog
5
star
27

docker-swipl

Docker image for SWI Prolog
Shell
5
star
28

interpolate

String interpolation for Prolog
Prolog
5
star
29

rand

Easy random numbers for Go
Go
5
star
30

function_expansion

Help for writing function-like macros
Prolog
4
star
31

web

Easy web client library for Prolog
Prolog
4
star
32

ddata

Declarative data structures for Prolog
Prolog
4
star
33

swi-prolog-on-dotcloud

SWI-Prolog on dotCloud as a custom service
Shell
4
star
34

tidylog

Automatically format Prolog source code
Prolog
4
star
35

gift

Command-line tool for creating SWI-Prolog packs
Prolog
4
star
36

atom_feed

Parse and query Atom Syndication Format in Prolog
Prolog
4
star
37

brass-plates

Tools for finding the contents of Lehi's Brass Plates
Mercury
3
star
38

struct

Compound terms with named arguments for Prolog
Prolog
3
star
39

term_util

Predicates for working with Prolog terms
Prolog
3
star
40

maybe

Prolog "maybe" type
Prolog
3
star
41

hush

tiny, command line password manager
Go
3
star
42

helloswipl-dotcloud

Hello World app for SWI-Prolog on dotCloud
Erlang
3
star
43

uri_qq

SWI-Prolog quasiquotation for URIs
Prolog
2
star
44

clk

a distributed time clock application for the command line
Prolog
2
star
45

notes800

Prolog interface to http://800notes.com/
Prolog
2
star
46

roman

Roman numerals in Prolog
Prolog
2
star
47

chan

Directional channels for Prolog
Prolog
2
star
48

needless-search

Search any file system in <100 ms
Prolog
2
star
49

Sub-Future

Perl concurrency with futures
Perl
2
star
50

getkey

Read a single key from the terminal
Go
2
star
51

CSS-Shake

Find unused CSS rules
Perl
2
star
52

Thread-Lite

lighter weight Perl threads
Perl
2
star
53

unified_diff

Parse and generate unified diffs from Prolog
Prolog
2
star
54

text-typingeffort

Calculate the effort required to type a text with various keyboard layouts
Perl
2
star
55

readability_parser

Access Readability's Parser API using Prolog
Prolog
2
star
56

btcutil

Utility functions for Bitcoin ECC
Go
2
star
57

lcs

Longest common subsequence for Prolog
Prolog
1
star
58

Business-PayPal-API

Perl
1
star
59

mailz

Command line tool for working with maildir messages
Go
1
star
60

atom-copy-on-select

Atom package to automatically copy selected text to the clipboard
CoffeeScript
1
star
61

is-online

Run a script when your phone loses Internet connectivity
Haskell
1
star
62

thousands

A Prolog macro to make numeric arguments more palatable
Prolog
1
star
63

tomorrow

Toying with todos
Prolog
1
star
64

WLPE-13

Contributions to Prolog quasiquoting paper. Forked from git://www.swi-prolog.org/home/janw/git/WLPE-13.git
1
star
65

proximity

Proximity detection program for use with Periscope
Perl
1
star
66

tp

Patch-centric git porcelain, inspired by darcs
Prolog
1
star
67

State-Machine

Simple State Machine Implementation
Perl 6
1
star
68

julian_lang_en

Parse English language phrases into library(julian) constraints
Prolog
1
star
69

format_spec

Parse and analyze Prolog format/2 specifications
Prolog
1
star
70

aeds

App Engine datastore utilities for Go
Go
1
star
71

mustache

Prolog implementation of mustache templates
Prolog
1
star
72

Text-Phonetic-VideoGame

phonetic encoding for video game titles
Perl
1
star
73

mod_webhook

Prosody module to notify a web server for incoming/outgoing chat messages
Lua
1
star
74

semantria

Prolog interface for Semantria API
Prolog
1
star
75

amazon_api

Prolog interface for Amazon APIs
Prolog
1
star