mndrix Goto Github PK
Name: Michael Hendricks
Type: User
Location: Wyoming, USA
Name: Michael Hendricks
Type: User
Location: Wyoming, USA
Sugar to make Prolog a little sweeter
SWI-Prolog on dotCloud as a custom service
Test Anything Protocol for Go
Calculate patches between two Prolog terms
Predicates for working with Prolog terms
phonetic encoding for video game titles
Calculate the effort required to type a text with various keyboard layouts
A Prolog macro to make numeric arguments more palatable
lighter weight Perl threads
Automatically format Prolog source code
Toying with todos
Patch-centric git porcelain, inspired by darcs
Tukey Fences for outlier detection in Go
Parse and generate unified diffs from Prolog
SWI-Prolog quasiquotation for URIs
Notes and code I created while reading Warren's Abstract Machine: A Tutorial Reconstruction by Hassan AĆÆt-Kaci
Easy web client library for Prolog
Contributions to Prolog quasiquoting paper. Forked from git://www.swi-prolog.org/home/janw/git/WLPE-13.git
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.