BarryBo

Retired from Microsoft.

MicrosoftRedmond, WA

Pinned Repositories

azure-sphere-gallery
A collection of inspirational, unmaintained Azure Sphere software and hardware designs ready to be reused.
Language:C36 2.7k 1338
azure-sphere-samples
Samples for Azure Sphere
Language:C222 52 148200
azure-sphere-gallery
A collection of inspirational, unmaintained Azure Sphere software and hardware designs ready to be reused.
Language:C0 0 00
boogie
Boogie
Language:C#0 1 00
curl-rust
Rust bindings to libcurl
Language:Rust0 0 00
dafny
Dafny is a verification-aware programming language
Language:C#00
MigraineMonitor
Migraine Monitor app for Raspberry Pi
Language:Python1 0 00
nginx
An official read-only mirror of http://hg.nginx.org/nginx/ which is updated hourly. Pull requests on GitHub cannot be accepted and will be automatically closed. The proper way to submit changes to nginx is via the nginx development mailing list, see http://nginx.org/en/docs/contributing_changes.html
Language:C0 0 00
node
Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:
Language:JavaScript00
FStar
A Proof-oriented Programming Language
Language:F*2.7k 79 2k231

BarryBo/MigraineMonitor
Migraine Monitor app for Raspberry Pi
Language:Python1 0 00
BarryBo/azure-sphere-gallery
A collection of inspirational, unmaintained Azure Sphere software and hardware designs ready to be reused.
Language:C0 0 00
BarryBo/boogie
Boogie
Language:C#0 1 00
BarryBo/curl-rust
Rust bindings to libcurl
Language:Rust0 0 00
BarryBo/dafny
Dafny is a verification-aware programming language
Language:C#00
BarryBo/nginx
An official read-only mirror of http://hg.nginx.org/nginx/ which is updated hourly. Pull requests on GitHub cannot be accepted and will be automatically closed. The proper way to submit changes to nginx is via the nginx development mailing list, see http://nginx.org/en/docs/contributing_changes.html
Language:C0 0 00
BarryBo/node
Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:
Language:JavaScript00