Jon's repositories
SimplePicker
SimplePicker is a pure HTML5 color picker for any compliant browsers (IE10, Safari, Firefox, Chrome). It also works embed in a WebView (Android, iOS or Windows 8) . No Flash. No external images. No reliance on external frameworks (such as jQuery). No CSS (style to suit yourself). The base classes are written in TypeScript and get compiled to JavaScript. You can simply include the JavaScript in your projects.
babyai
BabyAI platform. A testbed for training agents to understand and execute natural language commands.
chromeview
Android WebView implementation that uses the latest Chromium code
cordova-android
Mirror of Apache Cordova Android
llvm
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.
maru
Automatically exported from code.google.com/p/maru
tensorflow
Open source software library for numerical computation using data flow graphs.
cordova-cli
Mirror of Apache Cordova CLI
cordova-ios
Mirror of Apache Cordova iOS
cordova-js
Mirror of Apache Cordova js
cordova-mobile-spec
Mirror of Apache Cordova mobile-spec
cordova-plugman
Mirror of Apache Cordova Plugman
cordova-windows
Mirror of Apache Cordova Windows
DefinitelyTyped
The repository for high quality TypeScript type definitions.
design
WebAssembly Design Documents
dijit
The Dojo Toolkit UI library. Please submit bugs to https://bugs.dojotoolkit.org/
ecmascript_sharedmem
Shared memory and atomics for ECMAscript
es6-module-loader
An ES6 Module Loader polyfill based on the latest spec.
ios-picker
The easiest way to import content into your application. http://filepicker.io
php-src
The PHP Interpreter
shelljs
Portable Unix shell commands for Node.js
TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
typescript-enum-proposal
TypeScript Enum proposal - https://github.com/Microsoft/TypeScript/issues/1206
vscode
Visual Studio Code
winjs
WinJS project by Microsoft Open Technologies
z3
The Z3 Theorem Prover
zeta
Virtual Machine (VM) implementation for the zeta programming language