Giters
Thomas Ball (thomasjball)

thomasjball

Geek Repo

26

followers

1

following

2

stars

Home Page:http://research.microsoft.com/~tball/

Github PK Tool:Github PK Tool

Thomas Ball's repositories

PyExZ3

Python Exploration with Z3

Language:HTMLLicense:NOASSERTIONStargazers:321Issues:25Issues:12

commuter

Automated multicore scalability testing tool

Language:PythonStargazers:0Issues:2Issues:0

kubernetes

Container Cluster Manager

Language:GoLicense:Apache-2.0Stargazers:0Issues:2Issues:0

pxt

Microsoft MakeCode (PXT - Programming eXperience Toolkit)

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0