Pinned Repositories
edcg
Extended DCG syntax for Prolog by Peter Van Roy
func
Apply and compose functions in Prolog
golog
Prolog interpreter in Go
merge-this
Revision control stress tests
microkanren-prolog
Prolog implementation of microKanren
network-bitcoin
Haskell bindings for Bitcoin RPC
ps
Persistent data structures for Go
regex
Regular expressions for Prolog
tap-go
Test Anything Protocol for Go
mndrix's Repositories
mndrix/func
Apply and compose functions in Prolog
mndrix/network-bitcoin
Haskell bindings for Bitcoin RPC
mndrix/miser
Prolog library for building self-optimizing predicates
mndrix/djson
Declarative JSON library for Prolog
mndrix/term_diff
Calculate patches between two Prolog terms
mndrix/bencode
Bencoding for Prolog
mndrix/docker-swipl
Docker image for SWI Prolog
mndrix/ddata
Declarative data structures for Prolog
mndrix/function_expansion
Help for writing function-like macros
mndrix/gift
Command-line tool for creating SWI-Prolog packs
mndrix/struct
Compound terms with named arguments for Prolog
mndrix/chan
Directional channels for Prolog
mndrix/needless-search
Search any file system in <100 ms
mndrix/notes800
Prolog interface to http://800notes.com/
mndrix/roman
Roman numerals in Prolog
mndrix/unified_diff
Parse and generate unified diffs from Prolog
mndrix/lcs
Longest common subsequence for Prolog
mndrix/mod_webhook
Prosody module to notify a web server for incoming/outgoing chat messages
mndrix/mustache
Prolog implementation of mustache templates
mndrix/thousands
A Prolog macro to make numeric arguments more palatable
mndrix/tp
Patch-centric git porcelain, inspired by darcs
mndrix/amazing
Go Client for the Amazon Product API
mndrix/autoflow
Format paragraphs in Atom
mndrix/dotcloud
Conveniences for running SWI-Prolog on dotCloud
mndrix/goapp-test
Test repository for directory layout of Go on App Engine
mndrix/nanp
Prolog library for working with telephone numbers in the North American Numbering Plan
mndrix/Object-eBay
Object-oriented interface to the eBay API
mndrix/posterity
A Monte Carlo simulator for modeling a person's descendants over time
mndrix/roman-go
Roman numerals for Go
mndrix/tukey
Tukey Fences for outlier detection in Go