mndrix Goto Github PK
Name: Michael Hendricks
Type: User
Location: Wyoming, USA
Name: Michael Hendricks
Type: User
Location: Wyoming, USA
Conveniences for running SWI-Prolog on dotCloud
A composable build system for OCaml.
Extended DCG syntax for Prolog by Peter Van Roy
Enhancements and modifications to the Fastmail.fm web interface
MtGox API bindings for Perl
Parse and analyze Prolog format/2 specifications
Apply and compose functions in Prolog
Help for writing function-like macros
Read a single key from the terminal
Command-line tool for creating SWI-Prolog packs
Library for building XMPP/Jabber ( XEP-0114 ) components in golang.
a simple Credit Card processing library for Go using the Stripe API
Test repository for directory layout of Go on App Engine
A Golang implementation of Bitcoin
Prolog interpreter in Go
Hello World app for SWI-Prolog on dotCloud
tiny, command line password manager
String interpolation for Prolog
Run a script when your phone loses Internet connectivity
Concurrent and distributed Prolog via join patterns (join calculus)
Parse English language phrases into library(julian) constraints
Longest common subsequence for Prolog
Prolog list utility predicates
Command line tool for working with maildir messages
Optional types for Prolog
Prolog "maybe" type
Revision control stress tests
Context sensitive completion for OCaml in Vim and Emacs
Prolog implementation of microKanren
Prolog library for building self-optimizing predicates
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.