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/microkanren-prolog
Prolog implementation of microKanren
mndrix/jolog
Concurrent and distributed Prolog via join patterns (join calculus)
mndrix/dcg_util
DCG utility predicates for Prolog
mndrix/delay
Coroutine versions of built-in Prolog predicates
mndrix/condition
Condition system (a la Common Lisp) for Prolog
mndrix/sweet
Sugar to make Prolog a little sweeter
mndrix/interpolate
String interpolation for Prolog
mndrix/atom_feed
Parse and query Atom Syndication Format in Prolog
mndrix/swi-prolog-on-dotcloud
SWI-Prolog on dotCloud as a custom service
mndrix/tidylog
Automatically format Prolog source code
mndrix/web
Easy web client library for Prolog
mndrix/brass-plates
Tools for finding the contents of Lehi's Brass Plates
mndrix/maybe
Prolog "maybe" type
mndrix/term_util
Predicates for working with Prolog terms
mndrix/clk
a distributed time clock application for the command line
mndrix/readability_parser
Access Readability's Parser API using Prolog
mndrix/uri_qq
SWI-Prolog quasiquotation for URIs
mndrix/amazon_api
Prolog interface for Amazon APIs
mndrix/atom-copy-on-select
Atom package to automatically copy selected text to the clipboard
mndrix/format_spec
Parse and analyze Prolog format/2 specifications
mndrix/julian_lang_en
Parse English language phrases into library(julian) constraints
mndrix/semantria
Prolog interface for Semantria API
mndrix/State-Machine
Simple State Machine Implementation
mndrix/tomorrow
Toying with todos
mndrix/atom-ctags
better autocomplete for atom, using ctags
mndrix/atom-perltidy
Perltidy for Atom
mndrix/atomic-emacs
An atomic implementation of emacs keybindings for the Atom text editor.
mndrix/bitset
Go package implementing bitsets
mndrix/pager
Send Prolog output through user's preferred pager
mndrix/wam-reconstruction-notes
Notes and code I created while reading Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Aït-Kaci