thomasjball

Pinned Repositories

pxt
Microsoft MakeCode (PXT - Programming eXperience Toolkit)
Language:TypeScript2.1k 99 2.6k577
TouchDevelop
TouchDevelop is a touch-friendly app creation environment for iPad, iPhone, Android, Windows, Mac, Linux. Our mobile-friendly editor makes coding fun, even on your phone or tablet!
Language:TypeScript1.4k 140 452185
commuter
Automated multicore scalability testing tool
Language:Python0 2 00
kubernetes
Container Cluster Manager
Language:Go0 2 00
pxt
Microsoft MakeCode (PXT - Programming eXperience Toolkit)
Language:TypeScript00
PyExZ3
Python Exploration with Z3
Language:HTML323 25 1249
z3
The Z3 Theorem Prover
Language:C++00

thomasjball's Repositories

thomasjball/PyExZ3
Python Exploration with Z3
Language:HTML323 25 1249
thomasjball/commuter
Automated multicore scalability testing tool
Language:Python0 2 00
thomasjball/kubernetes
Container Cluster Manager
Language:Go0 2 00
thomasjball/pxt
Microsoft MakeCode (PXT - Programming eXperience Toolkit)
Language:TypeScript00
thomasjball/z3
The Z3 Theorem Prover
Language:C++00