tballmsft

Partner Researcher at Microsoft Research

MicrosoftRedmond, WA

Pinned Repositories

arcade-microbit
simulate micro:bit on arcade
Language:TypeScript0 2 00
arcade-microbit-video
name says it all
Language:TypeScript0 2 00
astmonkey
Set of tools to play with Python AST.
Language:Python0 2 00
codal-atmega328p
Language:C++0 2 00
codal-microbit-v2
CODAL target for the micro:bit v2.x series of devices
Language:C++0 1 00
microbitSparkletGames
Games for BBC micro:bit with Sparklet Shield
Language:TypeScript3 3 21
microdata
Language:TypeScript1 1 13
tileworld
Design, Code and Play Games on MakeCode Arcade Devices
Language:TypeScript1 1 00
TypeScript-Handbook
The TypeScript Handbook is a comprehensive guide to the TypeScript language
Language:JavaScript1 2 00
WhenDo
Program your micro:bit with this one simple rule
Language:TypeScript1 0 10

tballmsft's Repositories

tballmsft/microbitSparkletGames
Games for BBC micro:bit with Sparklet Shield
Language:TypeScript3 3 21
tballmsft/microdata
Language:TypeScript1 1 13
tballmsft/pxt-arcadeshield
Support the Arcade shield in the MakeCode editor for microbit (V2 only)
10
tballmsft/tileworld
Design, Code and Play Games on MakeCode Arcade Devices
Language:TypeScript1 1 00
tballmsft/WhenDo
Program your micro:bit with this one simple rule
Language:TypeScript1 0 10
tballmsft/arcade-microbit
simulate micro:bit on arcade
Language:TypeScript0 2 00
tballmsft/arcade-microbit-video
name says it all
Language:TypeScript0 2 00
tballmsft/codal-microbit-v2
CODAL target for the micro:bit v2.x series of devices
Language:C++0 1 00
tballmsft/codal-ubit
ubit as extension
Language:C++0 0 00
tballmsft/ExpressivePixelsMakeCode
Language:TypeScript0 1 00
tballmsft/jacdacv2
A MakeCode project
Language:TypeScript0 2 02
tballmsft/genaiscript
GenAI Scripting for VSCode
Language:TypeScript0 0
tballmsft/jacdacnitelite
A MakeCode project
Language:TypeScript1 0
tballmsft/lean4
Lean 4 programming language and theorem prover
Language:Lean1 0
tballmsft/makecode-newsletter
A newsletter devoted to Microsoft MakeCode. News, information, happenings, etc.
Language:HTML1 0
tballmsft/microbit-robot
Universal Robot blocks for MakeCode micro:bit - beta
tballmsft/microcode
Coding "on the go" with the micro:bit (V2)
Language:TypeScript1
tballmsft/MicroDataIncludedAsExtension
microdata as extension
Language:TypeScript1 01
tballmsft/pxt-bouldergame
Language:TypeScript2 0
tballmsft/pxt-crickit
pxt package for crickit platform - beta
Language:TypeScript2 0
tballmsft/pxt-jacdac
Jacdac client services for MakeCode
Language:TypeScript1 0
tballmsft/pxt-microbitanimate
lights/animation extension for PXT/microbit
Language:TypeScript2 0
tballmsft/pxt-neopixel
A Neo-Pixel package for pxt-microbit
Language:TypeScript1 0
tballmsft/pxt-tileworld
TileWorld is a MakeCode Arcade Extension - beta
Language:TypeScript2 3
tballmsft/pxt-traffic
Sample target for PXT
Language:TypeScript2 0
tballmsft/PyExZ3
Python Exploration with Z3
Language:HTML2 0
tballmsft/Servo
Servo Library for Arduino
Language:C++2 0
tballmsft/slate
Slate is a Jekyll theme for GitHub Pages
Language:CSS1 0
tballmsft/three.js
JavaScript 3D library.
Language:JavaScript2 0
tballmsft/Zen
Zen is a constraint solving library for .NET