mndrix

Wyoming, USA

Pinned Repositories

edcg
Extended DCG syntax for Prolog by Peter Van Roy
Language:Prolog20 6 06
func
Apply and compose functions in Prolog
Language:Prolog19 3 166
golog
Prolog interpreter in Go
Language:Go373 18 1939
merge-this
Revision control stress tests
Language:Perl100 3 1411
microkanren-prolog
Prolog implementation of microKanren
Language:Prolog41 5 03
network-bitcoin
Haskell bindings for Bitcoin RPC
Language:Haskell18 5 322
ps
Persistent data structures for Go
Language:Go114 3 417
regex
Regular expressions for Prolog
Language:Prolog16 6 113
tap-go
Test Anything Protocol for Go
Language:Go26 4 17

mndrix's Repositories

mndrix/golog
Prolog interpreter in Go
Language:Go373 18 1939
mndrix/ps
Persistent data structures for Go
Language:Go114 3 417
mndrix/merge-this
Revision control stress tests
Language:Perl100 3 1411
mndrix/tap-go
Test Anything Protocol for Go
Language:Go26 4 17
mndrix/edcg
Extended DCG syntax for Prolog by Peter Van Roy
Language:Prolog20 6 06
mndrix/regex
Regular expressions for Prolog
Language:Prolog16 6 113
mndrix/atom-emacs-core-keys
Emacs key bindings for only core Atom functionality
14 5 41
mndrix/prolog_library_ideas
Random ideas about libraries for Prolog
12 4 01
mndrix/list_util
Prolog list utility predicates
Language:Prolog11 4 275
mndrix/mavis
Optional types for Prolog
Language:Prolog11 3 154
mndrix/rand
Easy random numbers for Go
Language:Go5 2 01
mndrix/hush
tiny, command line password manager
Language:Go3 2 0
mndrix/getkey
Read a single key from the terminal
Language:Go2 2 0
mndrix/go-xco
Library for building XMPP/Jabber ( XEP-0114 ) components in golang.
Language:Go2 2 01
mndrix/Sub-Future
Perl concurrency with futures
Language:Perl2 2 21
mndrix/aeds
App Engine datastore utilities for Go
Language:Go1 2 11
mndrix/mailz
Command line tool for working with maildir messages
Language:Go1 2 0
mndrix/bbolt
An embedded key/value database for Go.
Language:Go2 0
mndrix/bpci
Binomial proportion confidence interval
Language:Go2 0
mndrix/colfmt
Format columnar data from the command line
Language:Go2 0
mndrix/dune
A composable build system for OCaml.
Language:OCaml2 0
mndrix/gettext-tiny
stub and/or lightweight replacements of the gnu gettext suite; because the GNU one takes ages to compile
Language:M41 0
mndrix/go.stripe
a simple Credit Card processing library for Go using the Stripe API
Language:Go2 0
mndrix/ivy
ivy, an APL-like calculator
Language:Go0 0
mndrix/merlin
Context sensitive completion for OCaml in Vim and Emacs
Language:OCaml1 0
mndrix/ocaml
The core OCaml system: compilers, runtime system, base libraries
Language:OCaml2 0
mndrix/opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Language:OCaml2 0
mndrix/se
se is a screen oriented version of the classic UNIX text editor ed.
Language:C2 0
mndrix/shen-go
A Go implementation of the Shen programming language
Language:Go2 0
mndrix/yacc
Portable OpenBSD Yacc.
Language:C1 0